If all he printed was text, laser would be the way to go,...does he need color??
Personal lasers are alright, but I would not recommend a samsung/lexmark. Their toner cartridges are tiny compared to the other companies, but they are fairly reliable.
Inkjet, I like the HP deskjet 5550, or the smaller canon models with the seperate ink tanks for each color. Also, you might consider the HP PSC1210. Its an All-in-one, and its the smallest one out there, I believe.