I have an old amp which is beginning to show wear and scratches on its RCA ports. However, alcohol, water, and a simple cloth dont work and cannot remove the grime on the ports. What is the best substance to use to clean the ports without damaging the amp?