WD-40 seems to work pretty well for me, when I bother to clean 'em.
Mine usually get dull before dingy, and since I use cheapies I recycle
and replace them.