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!