Do the machines still come with an EU plug? Are they available anywhere with a Swiss plug? EU plugs with adapters are rubbish - much too thick, you can't get any other plugs into a 3-pin socket.