The cat has a much-loved teddy which she cuddles in her basket. It is starting to look a bit disgusting... Does anyone know if it's ok to wash it, or will I kill the magic?