The application I worked on was quite popular, and I can guarantee our customers used every printer that was out there. The HP was the only one that exhibited this bug.
I'll up your anecdata with the fact that I worked at Microsoft at the time, and was trying to track this one down across a wide variety of print drivers for the product I worked on. Though HP was the most egregious (IIRC, they all repro'ed), others exhibited the bug.
But, doesn't matter, it's long since been fixed regardless of who did or did not have the bug. :-)
To be fair, HP wasn't the only one that had that bug. My SWAG is that there was some common library that a lot of drivers used, including HP, that fiddled with the FPU and never set it back.