Om jag vore i dina kläder skulle jag inte göra någonting med vattnet då fisken trivs bättre med ett stabilt pH än ett värde som flaxar upp och ner hela tiden.
Mellan 7-7,5 är absolut inga problem för de fiskarna som du har, och jag skulle på sin höjd stoppa i några rötter som drar ner pH:t lite.