CNN said she called him but couldn't get in touch with him for a while; when he called back, then she called the hotel doctor, or something.
Silly us for thinking we'd just call 911 immediately.