[HotnCold]

I would use simple green and a bristle brush - not the orange stuff - or if not - use denatured alcohol - dries super fast - dosent harm any electrical stuff if comes in contact with and generally works well. And when your done - a light coat of wd-40 is not a bad idea - it will make the dust stick a little more - but will clean off easier - catch 22 - .... Good Luck...