thats what everyone told me to use, including the gun shop, so thats what i used.

I did get it out though, i used some silicone on a cotton cloth and it wiped right off... what a relief.