I was wondering what the differences are between the small Miele Professional machines eg PW6055, and the domestic range? They are obviously completely different models – not just a “Professional” badge and a bit of stainless steel – but is there a difference in terms of build quality, repairability, etc?