Does he still get to keep his benefits? I heard the Dungeon Hordes 401k plan is epic.