They could, but since so much of healthcare sits inside Citrix these days, it's unlikely that in OP's scenario it would've mattered. It's pretty easy to find out if you are running in a VM on Windows though, so I bet they do.