DECIDING AN PENSION OPTION: ESOP OR LUMP DISTRIBUTION?