I can’t see that being an off the shelf part, but I think the price is pretty steep, are there other places to get quotes.
How about buying tube with a nominal 5mm ID, tapping that, then sleeve over with some larger tube, a few tacks to hold them together or drill for some pocket welds if it needs to be more robust.