Actually, the NED shows the stadium around 6600 feet. The last time I was there, I seem to recall that the number 7250 is written into the walls of the stadium...I can't confirm that, but thought I saw it. Clearly, the stadium is well below that number...but 7250/7258 is so much more...