I ended up going with 6mm lens 5442's to cover my drive (currently one installed, more to come).
This was done for aesthetic reasons, as box the PFA139 junction box and the turret itself are significantly smaller than the varifocal counterparts. I was actually shocked at how much nicer that...