I just put this on Wetpixel, but here it is as well for completeness:
tried this (https://cults3d.com/en/3d-model/various/tokina-10-17mm-zoom-gear-for-salted-line-sony-a6xxx-housing ) 3d printed zoom gear for Seafrogs A6xxx salted line housings with Metabones EF-E mkv, and Tokina 10-17mm fisheye and it works fine. You have to first remove the clip-in piece of plastic that holds the rubber support insert for the viewfinder in the housing, drop in the gear, clip the support back in, then insert the camera and lens, kinda fiddly but cool to have a working zoom gear for this combo!