Should be gel coat. No doubt you'd have to compound buff it. I can't recommend any particular product as there are too many. We used 3M products in the body shop, but thats just what they bought. Unless you have experience with the gritty compound, you might look into a local body shop. Money well spent since most do this. Use of a compound and high speed buffer can burn through the gel if you're not real careful. If its not too far gone, and its done right, it could look like it did in 2007. Check out www.autogeek.com
There you'll see a bunch of kits you can buy that start with the heavy compound and end up with the fine polish. Awesome website for anything you need for paint care.