A while back I spilled some coke onto my case and some of it dripped down and fell down onto my graphics card. No damage was done to my computer. Recently, while I was cleaning the dust off my graphics card, I saw that there was some dried up coke on the graphics card. How should I go about cleaning this? Could I use water or would that leave behind potentially damaging residue?