DS has had a really runny nose and his school jumper is covered in snot. Does anyone know how to get it out? Vanish doesn't work.