Olive- I leave it open too. Apparently it's common with the brand. It's really gross.

A google search of Bosch washing machine has them about $1200. Is this right? Not quite Miele prices, but still exxy. Still, you get what you pay for.