Jason, thank you so much for the help on this – boring isn't as straight forward as I thought! 
I ground off the bottom of my 8mm HSS square threading tool to act as a boring tool for the 10v standard – it worked (just) but there was a huge amount of flex in it.
The 8mm HSS square boring tool won't fit ( presumably minimum of 17mm dia starting hole, unless the bottom is ground)
The 8mm shank brazed carbide tool has the cutting edge at about 7mm from the bottom surface, so I shimmed it with 1mm packing underneath, but the steel underside of the tip was still fouling the work. Am I OK to grind that down too, in theory?
I found a tool in the box of previous owner's toolbits which has been ground to a stubby boring tip. It's 3/8" square but the cutting face is pushed down to roughly centre height, maybe a hair above. Given the nature of the boring I gather this is OK (it seemed to cut much better than anything else I've tried so far) – it just adds to the rake angle. I'm currently turning brass so that's OK but I clearly will need a better solution for steel and CI.
I'm sure I saw some of those long, round-shanked HSS boring bars (i.e. fourth from front in your first pic) somewhere, but I can't find them again. I've asked Tracy to confirm on their holders – and will keep looking – or make my own as you have shown!
Edited By William Ayerst on 31/07/2021 09:43:32