I see that a lot of you wrestled with buying the Miele 4840. Did you buy the 4840 and are you pleased with its performance? Our washer is on the 2nd floor, so noise and vibration are very important. Do you have any problem with mildewy smells? I have seen conflicting reviews on every washer out there and want to make the best decision.