FYI to anyone who might be interested: the OfficeJet Pro 8715 is a really nice printer. It's an all-in-one that prints, scans, faxes, and copies. It does double-sided (duplex) printing, and has an automatic sheet feeder for when you need to make copies of multiple pages.
It's a little too big for an average-sized desk, you'd probably want it on its own printer table or a sturdy surface on the floor (not a carpet/rug). It'll fit fine on top of a short file cabinet though. When they first came out they ran around $500, current pricing is closer to $300 for a new one.
Edited to add: I was the top HP sales pro at my store when I worked for Staples, back in the day. I won two of these printers from HP. Donated one, gave the other to a friend, because I had already won two other printers from HP, one of which I loved and the other I gave to my sister.
So I kinda know HP products pretty well