Call him and ask "Was there an issue with his service?"
Took a great Disney course many years ago in Flordia. People rarely ask their real question. For example, one of the most asked question in Disney? What time's the 3:00 parade? The real question; Where's a good spot to view the parade, and how early should we line up?