Does that 4K include the PC to edit on with the program? How much time will you be spending in the water? Is it more of a how to in the wet or a lifestyle on land type thing? This will help determine how much you'll have to blow on the camera. PC's, programs and housings can cost quite a bit. Do you have a working script yet. Once you dial in some of these answers, we can help more with the gear choices. Will you be traveling through Miami? If so, if you pick all of your shots well and have music in mind, script etc., you might be able to bring it to my lab at school for the post work. You have to keep in mind that I teach at a high school, so the lifestyle side of the piece would have to be PG. We are an Avid Xpress Pro facility.

Keep in touch and let me know your answers to the above.

Good Luck,
MJS