Just finished a bathroom remodel and realized that one of my guys (most likely me) scratched the inside of the porcelain tub whom's surround we were retiling. These are really minor scratches and I've tried cleaning them to no avail (used acetone). Paying for a whole new glaze on the tub seems like a bit much, but the scratches are too small to use a porcelain touch up kit on. Any ideas?