David/flyers,

I'm sorta' splitting fine hairs but I would consider 7.2pH as normal and not attempt to raise it. Particulary in lieu of past history of high pH.

No big deal one way or the other but I don't think I'd adjust pH unless I got out of the 7.2 - 7.8 range (unless I saw a steady, consistent trend)....just monitor it closely and try to resolve the cause.