Re: Wet sanding with 800 grit on gel coat ?
I would recommend starting with the least abrasive method first...
A mild Polishing compound, If that doesn't bring the shine back, go to a rubbing compound, then polish and buff, If that still doesn't do it, then work your way to the more aggressive grits until you get the desired result.
Definitely protect your finished work with some good grade marine wax...
You will have to re-apply it, depending on the use, every so often to keep from having the gel coat oxidize...