It's a volume pot, don't worry about it. If the WD 40 worked, great! If not replace the pot as it'sonly a few $$
I worked for a "legendary" recording console manufacturer back in the early 90's, and we used a chain lube to free up grungy pots (that were like that new).