Thanks for all the considerations! I have made careful measurements, including when the top of the printer is "open" to have proper clearances all around, I took note of the on/off switch (it's in the front). I will probably do a simple flat rollout on a shelf in the pantry. The pantry is centrally located on the main floor at the perimeter of the kitchen so I think very convenient for anyone printing for homework or anything else. Since I'm sure our home will outlast our printer I'll probably try to make the shelf a little larger than I think I need to accommodate a future printer of different dimensions, although I think if needed I'd be able to find one to fit a certain space restriction since I'll never want an oversized printer for simple household printer functions.

Whatever you do, don't buy a very inexpensive one. My son didn't need a printer in college but did in grad school. He was trying to be frugal and picked a cheap one -- less than $50. It didn't work well, sounded terrible and went back. Same son just got a laser printer because the inkjet went through a period of non-use and had dried ink that couldn't be cleaned. I think you need to spend $100 to get something dependable either way and for occasional printing, laser printers are now more affordable and make sense. They do tend to be larger -- but not as large as they used to be. We still use an HP inkjet, but might be looking at a laser when it decides to leave us.

I would unplug the printers, disconnect/detach/remove/delete (whatever term fits) each printer's software/driver/default setting from each PC, reboot both PCs and then reconnect each printer in turn to each as if doing so for the first time. Both PCs should have plug and play and automatic driver downloads so it may pay to try a fresh start. Nothing to lose, no damage done, see what happens.

I don't use or need large format either but wouldn't hesitate to go to laser. When I was using inkjet, I printed so seldomly that the ink would dry or the heads would clog and I'd have to clean heads and/or replace ink far too often. The printers were cheap but the ink was expensive. The last time I bought a basic monochrome Brother laser and it seems to always be ready to print anytime I am. I just looked it up and I see that I bought the last (generic, less that $30) toner cartridge back in March of 2016. Today, after not printing for a few months, I needed to print a couple things and it printed fine. I wouldn't have given my older inkjets a chance in... ? :)