Can anyone give me some first hand info about this printer? Who manufactures these? What would a decent used model be worth? Any known issues to watch out for. What about servicing? can a person do most of the service on their own, or is it controlled by the sellers? Thanks for any help you can provide.