Yes, they sold it to HP. The latest toners I got for my MD2825 have HP hologram stickers on them.
However, both MD282x series, and ML1710 are designed and produced way before the transfer. I remember seeing the Xerox printers first, thinking "Sweet", then finding the same device with a different color scheme, only under Samsung brand, and just buying it, because an extra Ethernet cable was not a problem at that time (Plus Xerox's one was unobtanium).
For the ML1710, I remember seeing the Xerox one at the university, taking an "info" page from it and saying "this looks similar to my 1710, what happens if I just use with 1710 driver?", and I was printing 35 seconds later.
Now my parents are using the 2825, and I have enough spares to let them use it for another decade at their usage volume.
For the driver thing, it's good that the 2825 supports both AirPrint and Google Cloud Print (while it lasted), and is just an IPP printer with an open PPD file. So it can be used with toaster or a server or a phone, as long as it talks AirPrint or IPP.
