I have an Aquatech housing for my 1Dmk4 and the dome port for the 14mmF2.8L lens,
They are what would be called sports, they can handle a decent depth, but are + buoyancy, so harder to "dive" with. The dome port would fit that lens, but best to ask just in case. I can also fit my 35mmF1.4L in the port.
They have different sized rings to put between the housing and the dome port for different length lenses, so just tell them what lens you want to use with it, and most likely it'll be fine a number of lens combinations. http://aquatech.net/product/elite-5d3-sport-housing/ http://aquatech.net/product/pd-85-lens-port/
Hi, a much cheaper alternative would be the Ewa Marine bag B-F100. I use it myself and had the idea to put the TS-E 17mm inside. Normally a 82mm filter thread is need to attach an adapter ring, which attaches to the clear glass panel in front of the bag. Of course the TS-E 17mm does not have any filter thread and putting it inside the bag results in lots of pounces of the lens to the glass panel. Not a good idea...
The solution is the LEE Filters Adapter Ring for the TS-E 17mm. It still does fit into the bag, although it is very, very tight. The LEE adapter ring has a similar effect than the Ewa ring. It keep the glass panel in a plain position a few milimeters in front of the lens. There is some slight vignetting but it is very small. The attached picture shows the vignetting with an f14. It is a RAW converted to JPEG. Of course every militer of shift will result in serious vignetting. Turning the manual focus ring is also pretty difficult. But it does work.
The Ewa Marine bag + LEE adapter ring will cost you US$500.