I use Oki units which also get cheap 3rd party toner replacements, have good OS support and need a simple PPD file for Linux CUPS. Worth checking out if they're available in your market.