Thanks guys, sorry it took so long to respond. Having plenty of WD-40 on board I tried that without much success. After getting back to the marina I went to the local grocery and got some nail polish remover, ie acetone. There is no nearby hardware store. That did the trick. It completely removed the stain.
Thanks