So I would recommend an HP... A slightly older model maybe. Or definitely make sure the printer supports universal drivers (unfortunately I haven't bought a printer in years) but a quick check of the HP web site vs the printer you want should be able to confirm if universal drivers support it.

Or if you want to throw it back in the corporate security team's lap, ask them for a list of printers supported in the corporate image. Kind of irresponsible of them to issue this kind of directive without creating such a list. It should list some printers in a range of prices...