some plain old kerosene or wd-40 might also work. i believe neither will damage the plastic.
beer