7 AM 10 AM, which sometimes changes to 11 AM, 1 PM, and 3 PM. Cannot swear to this now but this was the schedule a few weeks ago according to someone that works for me. Just noticed a phone number on what you posted. You can call there also.
If they added the 9AM it could be right. I left off the 4PM because we were not sure of that one. But I would check on that 9AM. Also be aware that if you get there near start time you might not get on. And you cannot buy tickets other than the same day.