No, only close to 600 million. Bummer.

Time will tell if they can make Expressjet profitable again. My guess is that they will. Whether that means downsizing first or switching out aircraft I don't know.