http://www.direct.gov...lPensions/DG_10027141
"Lump sums from small pension funds
You may be able to take your whole pension savings as a cash lump sum, with 25 per cent tax-free. To qualify, your total pension savings from all sources must be £18,000 or less."
This must be the total value of ALL pensions.
If he'd been paying in for many years I'm surprised the fund is worth only £7000. DId you mean £7000 a year? Was it an employer's pension scheme or a private one where he paid a few pounds a week