We saw the same. Google earth is not always accurate (particularly if you aren't using the paid version). Any other thoughts on how to determine this? I don't suppose someone can run out there and measure? ;-)
Also, does anyone have a sense on whether this is a standard which is truly met at "category 1" airports?