When it comes to laser printers, HP is king, and for good reason IMO. The only drawback, is the official drivers are absolutely horrid. They feel like they were designed by some a masochist third grader with personality disorders of the highest order. Options located in what can only be described as the least intuitive locations, all kinds of additional bloat programs bundled with... It's plainly obvious that the people developing the hardware are not the same people who develop the drivers, nor do they likely even communicate with one another.

You'll have to look through their different models to find one that has the features you want and is within your budget.