i have been using HP 11xx in official use with a Brother n Samsung ... i dont remember their models, our daily utilisation was more than 200-300 pages n they both worked as good as hp for us ... samsung i liked for its finish but i think internally not much difference
so i think see how much is ur use and get the cheapest which u can afford, all these laser printers r equally good, refills we used to get refill-ink n replace the cartridge after 2 or 3 refills ... market main banday mil jatay hain who do ink-refills and they work fine ...
best is like sunny said, get a used body n put a new cartridge ... cheaper solution if u wana save