I've had issues with lower-end HP laserjets and drivers in Windows 2008. A lot of the lower end HPs weren't actually officially supported for use in a terminal services environment, as many of them use host-based printing. I've been able to use generic PCL drivers (oddly enough, I've had the best luck using generic Samsung PCL 5 drivers) to get these printers working in terminal services.