It's a PC designed for windows

so it's probably a sure thing

---------- Post added at 18:40 ---------- Previous post was at 18:38 ----------
WD40 though won't harm the switch but it also may not clean it either. If you can remove it then IPA or switch cleaner spray is the sure choice then a little wd40 to lube it up before putting it back in.