First, I hate throwing things away if they can be repaired.
Secondly, I have a 20 years old Saeco Aroma (which is what the Starbucks model was) and love it. Your don't get anything as well made as they were for $500 bucks anymore.
A year ago mine just plumb wore out...someone recommended these guys:
http://bilottaequipment.com/
For $175 they put in all new gaskets, new switches and completely overhauled it...works like new and I hope to get another 20 years out of it.