if it took a petroleum product to remove it I would think its ' Out - Gassing ' from the origonal paint inside the tube , its a common problem with some scopes/optics .
Glad you had luck getting it off , its scary putting harsh cleaners/solvents on optics .
Brian.