A couple of months ago I bought a Pantum P3500DW, almost as a joke.. the thing is absolutely awesome and a high yield toner cartridge is available too. I bought it as a standby for a big Brother colour laser, but I now use it by choice because it never misses a beat (as long as there is no colour involved.)

It currently costs between R1300 and R1700 with the standard cartridge and is better than 30 pages per minute... page 1 is a schlep because it goes into sleep mode after about 30 seconds.