Idk, ph of freshly mixed IO was 7.93 and Red Sea coral pro 8.33.I've never seen less than 8.0 using RC for the last 15 years. Maybe your phantom PH issue wasn't in the sand after all?
What does your source water measure?
Looks nice, too bad you had to downgrade.