
https://www.ebay.com/itm/MUSICAL-INSTRU ... 192052704/
Seller says it's 11.4 mm, which would be about 1mm less than bass trombone shank, and at least 1mm more than trombone small shank. It's listed as "baritone", which is probably a good guess - there have been baritone receivers in some intermediate size?