I’m not the person you are replying to, but my experience has been that they don’t make any new food after ~8AM and most of the good stuff is pilfered before then, so although they serve until 9 or 10, there’s rarely anything left if you arrive close to the end (or anything that you’d want to eat)