If you are located near Chelmsford and are doing a one-off, I can lend you the one that I have. The receiver shank for the one that I have measures 1.188in +/- diameter.
like others of those videos - 2 things to remember - NEVER use drill or anything on lapping. receiver has to be mounted vertically, then tool goes in, only turned by hand, gently with some pressure - 5 turns clockwise, 5 counterclockwise, out and check.
frankly, with aero receivers i never saw any specific need for that. amazon has a wheeler tool for $28 or so.