Someone bought the pilots claims in one purchase. We had the option to sell them but only 25% volunteered. Turned out to be better than keeping them. It had to go into the 401k, but then you got the rest as a distribution after taxes.