I can't find the phone number for the hotel anywhere. Since there may be others in the same situation, would the kindly (and very busy) Dr. please post the number? janSIy