Better late than never - four inch dome is up for preorder on SeaFrogs website: 4" Dry Dome Port for A6xxx series Salted Line waterproof housing 40M/130FT
$149 + shipping, fits Sony 16-50mm (though I assume optical quality won't be anything to write home about, compared to the six inch dome), Sony 16mm bare or with either of the two adapters (ultrawide/fisheye) or Samyang 8mm f/2.8 fisheye. I'm pretty certain that the 7Artisans 7.5mm f/2.8 fisheye should also fit - it's pretty much the same size as the Samyang fisheye, although in both cases, neither focus nor aperture rings are accessible inside the housing. However, putting my 7Artisans 7.5mm inside the housing with the zoom gear for 16-50mm, I can see that the zoom gear sits right over the focus ring - it's just too big to engage it, with about 5-6mm of clearance. I think if I pad the lens with some thick tape (or maybe 3D print two plastic semi-circles for a less ghetto solution), I could get the 16-50mm gear to control the focus.
$149 + shipping, fits Sony 16-50mm (though I assume optical quality won't be anything to write home about, compared to the six inch dome), Sony 16mm bare or with either of the two adapters (ultrawide/fisheye) or Samyang 8mm f/2.8 fisheye. I'm pretty certain that the 7Artisans 7.5mm f/2.8 fisheye should also fit - it's pretty much the same size as the Samyang fisheye, although in both cases, neither focus nor aperture rings are accessible inside the housing. However, putting my 7Artisans 7.5mm inside the housing with the zoom gear for 16-50mm, I can see that the zoom gear sits right over the focus ring - it's just too big to engage it, with about 5-6mm of clearance. I think if I pad the lens with some thick tape (or maybe 3D print two plastic semi-circles for a less ghetto solution), I could get the 16-50mm gear to control the focus.