I think these are great choices. Fitting the requirement of relatively shorter songs that are popular and good (and ones they already know with MM), they're probably the three I'd have picked too.
Yeah, I have to agree, even if they aren't necessarily the songs I would have picked to fill the time if I were making the set list based on what I personally would want to see.
Interestingly, I don't think I have ever actually seen them play PMU at a show. Without going back and checking set lists, I cannot be sure. But I don't recall ever having seen it live.