Here's the model: http://www.amazon.com/Braun-KF400-BLK-Aromaster-10-Cup-Coffeemaker/dp/B00005IX9U
Anyone in need of a coffeemaker? It's a 10-year old Braun. Works great, no complaints.
The IRS is one problem that goes away if you throw enough money at it.