I thought I would add a few notes to this thread. as I am currently working on this exact project.
The prep work is key and it sucks... plan on 5 times the "demo and prep" time as the paint time. Chemical glue stipping didn't work well... 80 grit sand paper on a orbital sander worked for the most part. I also tried the grinder with a paint stripper head... it was tough... lots of patience and time... and maybe a few sanders if possible. wear a mask and goggles... its a mess.
I found this Gel Coat on Amazon for a fraction of the price of most others. It shipped with plenty of activator and even comes direct with color pigments. It is 100% perfect and worked without issue.
https://www.amazon.com/gp/product/B08L458P2C/ref=ppx_yo_dt_b_asin_title_o08_s00?ie=UTF8&psc=1
2.5 gallons got the job done. I did a first coat with out wax and a top coat with wax. 2 gallons no wax, 1 with wax
at 1.8% ratio for the hardener at about 65-70 deg, I had 15 minutes work working time. Work in small batches. I would mix about 25oz and split it into two paint buckets and two of us would get it on the walls as quick as possible
I tried a few different roller heads, and decided that Thick nap, 4" with a thin center worked the best. Get LOTS of them. Because the Gel coat hardens at 15min... you need to swap to a new head with every batch.
Same for brushes. Just get the cheap ones and keep tossing used brushed and swapping to new ones.
I broke a lot of hardware getting it off or trying to put it back on... the bolts had issues. It is all 5/16x18 hardware, so I just grabbed a pile of 3/4" to 2" bolts with washers and nuts and swapped most of the hardware out as I put it back together. @ 20 cents a bolt... new hardware was 100% the right call. It looks way better and I can count of it not breaking soon.
Don't forget to silicone all of your hardware / holes before reassembling.