CHOOSING A PENSION OPTION: ESOP OR LUMP DISTRIBUTION?