I have been using WD40 and it works fine, it causes a little smoke when you start out but only last about 30 seconds or so.
I used to polish them but found out it was just a waste of time they get water spotted after about 5 min. of run time anyway
Just my 2cents :coffeycup