On sticky stuff I always try paint thinner (or turpentine, or maybe xylene) first. Acetone (or lacquer thinner) is the next thing to try, then denatured alcohol. If those don't work, heat and scraping are probably the only options. In my experience modern strippers are useless.

