Apparently a classmate's Tippex pen exploded over dd's blazer I'm inclined to brush it then bung it in the washing machine, but wonder if I ought to be trying some kind of solvent before the wash. Any ideas welcome!