Good news on the part of you both!! My printers are Canon, not a part of the issue but I'm sure there are a lot of people who should look to be on the safe side.
I checked and it would seem all are very advanced versions of HP Printers and not the sort most of us have. But I may havae missed something in scanning the long lists. I tried CTRL + F on my HP 2015e and got no finds.