Yes, my friend just retired August 31st as I did 8 years ago, same date. We get a lump sum so get to control our retirement money. I think a lot of AA pilots are getting nervous again about a possible loss of their lump sum if the company fails. Also they are allowed to lock in their retirement payout to June 30th so with the stocks falling they benefitted from that.