They might short this all the way to zero. Good on them. Not so good for the 27,000 employees and their families though.