This morning I found this at Amazon:
It’s 4mm shank. Would rigidity be a concern - am I better off with a larger diameter shank?