Personally, I'd recommend this machine:
https://smile.amazon.com/dp/B01AD7I5A6
The Brother HL-L6200DWT. Takes the TN-880, which is 12,000 pages/toner.
https://smile.amazon.com/Brother-Printer-TN880-Super-Yield/dp/B01825OHX0/
HP has changed their models in recent times, so I'm going to find the equivalent in HP too. I usually avoid Xerox because of costly maintenance and low yield on their cartridges compared to their price. And, as someone who has used Xerox in work environments, they are not nearly as durable as they like people to think they are.