Thanks for your thoughts, lizardlady. I will ask the vet about prescribing her kitty Prozac or similar. Crate training isn't really a thing in this country. I've never tried it and since I have almost always worked from home, it didn't really seem necessary. If I tried that, I think we'd have him whining all night, wanting to get close to the cat, instead. It would probably end up stressing her out more.