I've been out of the loop as far as spec'ing out printers for a while.
Anyone know what direction HP went as far as the 4000 series laser

We have a 4100 that's been running for years that finally is going
belly up and they need a pretty heavy duty printer, and we're kinda
partial to HP printers.

I know they went 4250, then 4350, but not sure what's considered the
'replacement' for something like a 4350.