DIY bit
Hi Nick
I would make one myself. If you buy or find an old drill bit for a brace, it can even be one that is worn out.
Just cut the shank to the length you want and grind/file the tip to the size you need.
I don’t know if you’ll need to harden it, but even that shouldn’t be too hard.
Good luck
Brgds Jonas