DECIDING A PENSION BENEFIT: ESOP OR A DISTRIBUTION ?