Your pH of 7.2 is fine...the range to shoot for is 7.2 to 7.6 with the lower end being a bit better because it allows the chlorine to work more effectively. I would not change it unless the pH drops below 7.2. You don't want to go below 7.0 with a vinyl liner.