Novice here .
Looking for advise on lense options.
I'm assuming the tokina 10-17 for wide angle. This would leave a macro and perhaps all purpose wide angle zoom. I plan on purchasing the 7D kit which comes with the Ef 28-135IS. Thanks ahead of time for any advise.
I think you hit on the most common lens selection. The Tok1017 may in certain situations be too wide and a fast wide zoom in the 17-55 range may be useful with large marine life that is shy (hammerheads come to my mind here). Fast prime lenses should not be excluded from the list either. I will let others add to the list here.
To give you better advise, please tell us what type of diving you do most and what are you interested in capturing? Are you a cold or warm water diver? Deep tech? Large critter or Macro? Mostly diver shots? Available light photography? If not, what lighting do you have?
Before investing into expensive glass, be realistic to what you will most likely use the most and get showable results with.
Once I had the crazy idea to do extreme macro with my housed 2 1/4 Hassy. So I had extention tubes and custom port extenders, then found it was an impossible mission in local waters due to the micro depth of field and associated focus problems in even the smallest surge. Expensive experiment. Lots of lousy slides (I remember only 1 successful shot), but the housing looked impressive....LOL.
Hope my 2 cents is of any help to you,