One and only problem is that only the XP-windows Samsung printer drivers work truly well. But I have 2008 laptop for that.
I casually poked around to see if I could find some old HP LaserJets. Do some teardowns, get some part numbers, maybe transplant a Raspberry Pi for the brains.