I use two methods. For tube pin cleaning, a common pencil erasor works well. Also, one of those fiberglass cleaning tools available from Radio Shack will take the crud off the tube pins. The tool is also small enough to fit inside the tube pin sockets as well. Just rotate the thing a few times and the flexible bristles will clean the pins and sockets to bright metal without removing any material from either. I chuck the pen shaped tool inside my rechargeable drill for stubborn cleaning jobs. Follow-up with deox-it or similar for a years worth of scratch-free listening.