You can just have the marina do it and pay them what they want. its going to be $$$ for labor. You can get an exact replacement or something nicer. Thats going to be $$$.
After thats done, it will turn green and look crappy in only a couple of years.
You can do it yourself and save $$$. If...