Korg Poly800/EX800 Users

Anyway, my volume pot is scratchy. I think I can pull it apart and clean it but what does one use as a cleaner? I've cleaned wha wha pedals pots before and they just get dirty over and over again.

I use caig deoxit or caiglube. Thats what most pro=audio guys use. Works wonders.