I don’t worry about fisheye distortion when underwater. I have been using full frame cameras with fisheye lenses, underwater, for 15 years. The linked video is a Canon EOS R6 mk2 with Canon EF 8-15mm f4 L USM Fisheye at 15mm (this setup gives 180degrees FOV corner to corner)
