Thanks for posting this.
I'm planning on switching from Reef Crystals to Red Sea (not Pro). Reef crystals mixes to a really high 11 dKH. I'd rather start with something lower, and dose it up to where I run my tank (around 9.5).
I've used Red Sea Pro in the past, and seem to recall it mixed...