@JeremyCherfas That's too bad. :(
We abandoned HP inkjets for a Brother laser five or so years ago, and it's been fabulous to know I can print when I need to without having to baby the poor widdle (expiring, finicky, expensive) ink cartridges along.
But that is mostly due to the tech difference of inkjet vs laser, so I bet you'll be about as happy with any laser, and happier than with any inkjet.
One add-on I love is a double-sided attachment that replaces the need to flip a stack into the right orientation manually. Painless double-sided printing!
// @kdfrawg