It all went into the 401k, subject to company contribution limit. Pretty sure it was tradable from day one. We were told that we had to take it all as cash or all into the 401k as a group. No option for one guy to get cash and another to put it in the 401, due to IRS rules.