I put a very light coating of Vaseline Lip Therapy (100% pure petroleum jelly) on my flashlight o-rings. I simply wiped it on them while installed, did not remove. Should I use a toothpick or something to remove the o-rings and clean them off? I read old threads and will pick a new lube, but wondering what to use to get the petroleum based vaseline off them?