Hello clever Ladies, Quick question. DS has a mini button (operation was over 2 years ago). Does it need to be covered when he's swimming? Can't remember what we were told at the time... Ta :)