I rarely go upstairs to the kids bathroom, but I saw yesterday that there is a slight discoloration on the ceiling above the shower and it looks to be mildew. Probably a 4X4 section. I also looked and the ceiling seems to have been painted with flat paint. I guess I'll clean the mildew, but was wondering if anyone thinks I should repaint ceiling with semigloss or might there be a problem otherwise?