I deleted my irrelevant post -- I'd had this thread open for several hours, and didn't refresh before I posted.

Anyhow, good on the pH. It's a bit high, but it may drop and it's not an urgent problem in any case.