What class of printer are they looking for?
If they can't justify the cost of a laser printer but still need the high volume print capability in an inkjet, the new HP PageWide printers look promising.
We use an HP Laserjet 5550dN - purchased a number of years ago - makes fine prints. However, this is the last HP printer we will ever buy. If one color runs out, you have to replace all the colors or it complains mightly. Costs about $600 to replace all the colors. Whatever you decide to buy, check the ink replacement costs and factor that in.
For my home office use, I have an Epson WF-7520.
This specific model is obsolete, but they still make the same family of printers. For a multi-function inkjet printer in a small office environment, it works really well.
We use a very old school HP laser. HP_5100TN
Black and white only
If you need color, get a laser with independent ink for each color.