Basically getting £7k at 12/1, for someone betting in 10p's it's usually life changing money in the short term, I'm a mad gambler and I'm not sure I'd have let it run, it's all hypothetical so couldn't say with any certainty what I'd do in that circumstance, hopefully he enjoys it, or at least enjoys the extra peace of mind that it brings for a wee while.