Probably just a random number that the investigating cop pulled out of his ass as a guess and this is what the Public Information Officer for Austin PD had to go off of...