I wonder if there is code stating that a local means of disconnect is required for ICE maker if it is hard wired. I wonder if the manufacturer provided switch is sufficient? I read somewhere in the internet that for European installation a disconnect means is a must.