I would definitely keep them separated until he goes to the vet to prevent her from catching what he has. It sounds like mites to me, but I’m not a vet so I cannot tell you for sure. I know there’s a cotton swab trick that you can do to see if he does have mites, I’m not sure what it is, but I know it mentions it in a thread somewhere.