After dithering about doing it for a while I set to today, and it was all pretty straightforward (as you all said it would be). Marked up the cam wheels/housings/pointers front and back (belt and braces) and then spun the crank pulley nut off with my trusty Aldi/Lidl mains hammer gun, loosened the belt tensioner and locked it 'loose' and slipped the cam belt off. I was amazed at how free-running the auxiliary shaft was initially - it needed only the slightest pressurr to spin it, but when the oil pressure came up it brought my 12v Metabo drill to a stand still. Put everything back together, making sure all the tensioner fasteners were properly tight, double checked all the marks lined up, turned the engine over a few times and job's a good 'un.
So that's one little 'peace of mind' job ticked off.