Here is something to try next time that should work better than WD-40, its common 70% rubbing alcohol but I prefer the 90% version.
