Thanks for the opinions. After hunting around, I've gone for a neck with a 12" radius, but I'd probably have gone for a 7.25" if that had suited.
It does make you wonder how people managed before flatter radii became the norm, and for that matter how those who use vintage guitars do.
Roy Buchanan springs to mind; not a man afraid of a few top end bends!