DECIDING A PENSION OPTION: ESOP OR LUMP DISTRIBUTION?