I'm not sure why someone would cash in a pension now simply to invest in AVC's. But if they just want cash now, it would depend on how much really.
An annuity from 14k at age 50 will be pretty useless, however, if they have a decent public service pension to look forward to, it's not going to matter that much in the long term.
So, How much cash do they need ? If less than 15k, option 2, if greater than 15k, option 1
Do they really only need it to purchase AVC's ? if so, I wouldn't bother.