My husband and I are first time DIYers and discovered that we are NOT very good at tiling. We have a high gloss ceramic tile in our shower and made such a mess of grouting that we have to spend ages cleaning it all off the tile with a scrubby. Now the tiles are covered in very light scratches from the scrubby and/or the excess grout and I'm wondering if there is any way to buff these out. Is there a wax or polish someone could recommend that wouldn't immediately get washed off when we shower?