Bandera time change

Due to a clock issue my official time at Bandera was 12:27:57, a record for 30 year olds. Great news for me as it puts me under twelve and a half hours.