And we also, frankly, knew that if it didn't happen by the end of the Giuliani administration, then everyone who we were dealing with at the DOT and the Police Department and all of the -- we were meeting with 20 or 30 people with the city at a time, and it was set up by the Office of Emergency Management.