rhel80-large queue hasn't cleared

There's some history here that I don't remember, maybe best known by cristopher.stauffer@mongodb.com, where rhel80-medium was substituted for rhel80-large, which was supposed to only exist on older mongodb-mongo-* branches. We turned up the max hosts for rhel80-medium and turned down the max hosts for rhel80-large.

However, the rhel80-large queue isn't emptying. Is this because there is some new user of rhel80-large? Should they move to rhel80-medium?