Our Bosch dishwasher will be in storage (in our hall!) while building work going on. Its got water in the bottom in the salt bit and the drain hole. Do I need to do something to drain these or can I just leave them. Will it go all smelly?