I would have to agree with the just wait and watch plan. Messing with the pH is tricky business and unless you want to constantly mess with it I wouldn't worry so much if your fish seem OK with it. I was a big aquarium enthusiast before I dug my first pond and even in a 100g tank, trying to keep my pH down while working against my very hard tap water was really a pain. If I needed a lower pH for spawning I bought R/O water,....obviously not feasible for a pond.