Hi
I've just been looking through the HP website again, and have found a thread discussing the exact problem I'm having.
Business support forums - Problems with Latest 4200 and 4250 Print Drivers
It seems HP are perfectly aware of the problem and don't give a hoot. And that, if we change to older drivers, reluctantly, it still isn't guaranteed to work. Even if they do, it's not a good strategy, long term, but we're stuck.
Thank you for your suggestions, anyway. It was appreciated.
Patricia