I saw that too... and was a bit surprised that they use 1pm on weekdays. Most places use 2 or 3pm.
This is where the Diamond late check-out might be a bit of a problem. Although I'm not really sure how many actually use that with any regularity. I know I hardly use it myself, bit I do appreciate it on some occasions.