Im looking to replace my Krups 7200 which made good coffee but has been in for repair 4 times over 3 years. I have been told by the repair people that Krups are good machines and the 7200 was a dud and the new machines are much better. I can get a Krups EA8080 for under $1000 but are a bit hesitant to buy another Krups? Any suggestions or info would be much appreciated.* :)