Trevligt!
Yes the kit lens does achieve surprisingly good results, and it is convenient to be able to go from 16 mm to (if the dome is removed; fine since it's a wet lens) to about 65 mm (roughly 30% magnification) in a single dive.
I've done relatively little post processing on the macro shots, the lights do most of the work. Minor color balance and a minimum of sharpening and contrast - typically what I do with photos of terra firma. Lights are imo compulsory for video. Unfortunately, since they tend to be, quite frankly, ridiculously expensive for what they are. I own what I found to be the most light for you're money, Hi-Max V11, made by a small but very serious (divers themselves it seems) Chinese company called Hi-Max.
Hi-max Might seem as I push these but believe me I've gone through cheap light purchased on eBay and they are simply not worth the trouble. I have two, each with max output @2400 lumen, 140° floodlight. I believe they are $160 a pop plus shipping, batteries and chargers included. Might seem a lot but the competition is about twice that and I don't really see how one could go without lights to be honest (for macro).
Hm the Opteka in the second link seems to be the same as the one I have (though cheaper to buy from B&H). The first have a single element instead of two, which is inferior (you may want to Google this) but does have the benefit of not risking flooding. Can't say anything about the ones in the last link more than that they are single elements. There are so many macro lenses in the market. Most except for those manufactured for uw use tend to be cheap. I tried the opteka because it was cheap and supposedly good. Very happy it held up