The need to change salinity slowly in this particular instance is being vastly overblown. Consider the tidal zones where brackish organisms are found. The salinity will rise and fall several points four times a day. This is not a reef aquarium where stability is one of the keys to success. That said all SW organisms will tolerate a rapid drop much better than they tolerate a rapid rise in salinity. By rapid I mean more than .001 per hour. I think nothing about moving a fish from 1.023 to 1.021 without any more acclimation than they get in the net as I'm walking. The reverse calls for at least a perfunctory mixing of the original water with the new depending on the sensitivity of the particular organism. Morays are about as sensitive as a drunken redneck! If you raise the salinity from 1.010 to 1.025 over the course of a 6 hours or so a healthy Whitecheek would thank you if it spoke English. At this point the Eel in question is hardly healthy, so the .001 per hour would be more prudent. As far as what brand of marine salt it's not much of an issue. Personally I would use either Instant Ocean or Crystal Sea, because they're cheap and have good alkalinity. They're both deficient in Ca+ but that's not an issue here.