If they can measure it after the fact and determine it's 13.5 feet short, why not measure before the race and adjust accordingly? Do the professional wheel rolling measurers hate black people or just Americans?
Seriously though, the course was supposedly short by less than 1/10 of 1%. What implement are they using to measure with that sort of accuracy on a road course?