my son has ear tubes in both ears. a few dyas ago he was swimming in the pool and lost one of his ear plugs. we had a back up one and put it in. but now he has drainage coming out of his right ear. The color is yellow with a tinge of red. Should i get him to the doctor's?