I've read that they go away on their own. Equally, we swim every week, so feel I should treat it.
What's the best course of action? Does a plaster suffice for swimming? Or does he need a rubber sock? I've not seen anyone wear those for about 30 years!!