We have just lost an 8 month old cat to distemper that we just picked up from an animal shelter. We have another cat who was staying elsewhere and had no physical contact with the infected cat when we brought him home. What measures (as we have had varying advice) should we take in terms of cleaning before we reintroduce our cat? The infected cat had dribbled on a sofa before he was admitted to the vet.