If you want to use an "environmentally friendly" alternative to acetone, this will work:

I have always had great luck with West Systems epoxy products for small repairs.

If you decide to go the gelcoat route:

I'm assuming you can locally source sandpaper, etc, but if not, let me know!

Thanks and good luck!