DECIDING AN PENSION OPTION: ESOP OR ONE-TIME DISTRIBUTION?