I use this stuff called "The Original Cue Clean"... I'd put money on it this is what he used. I use it often, and it works like a charm. You can get it on eBay, or try to find it elsewhere.
Here is a link to what it looks like:
http://m.ebay.com/itm?itemId=271190052715
Sent from my iPhone...