I am about to buy a washing machine for my new flat. I have been advised to buy a Miele - and after doing some research I have come across your site and other reviews all recommending Miele. Does the Miele Premiere 520 or W1512 have Aquastop? To prevent flooding should it leak? I intend to do the majority of my washing when I am not at home. I also notice that John Lewis don't stock any of these models but has other models with different names? Thanks.