I just switched to Red Sea regular salt and and very happy with it. Pro Coral is a great salt, but the high alk doesn't go very well with a carbon dosing tank and was constantly screwing up my parameters. Now the SW I put in is right at the levels I am shooting for, so I don't have to adjust dosing per how frequent my water changes are.
I'd still recommend RSPC salt to anyone not running some type of carbon dosing. Use the regular formula if you need Alk to stay around 7.8-8.2.