WD-40 removes such a goo instantly. But good to know anyway.