didn't even know they made those
like you said though, whatever it take
I had a ratchet with a 13mm socket, then the 6mm star bit (bought it for a cv axle swap on a vw once)
then another 13mm also on that, then a 3 inch extension and finally the tap
it was quite the contraption