Here's my solution, so far...
I tried my least favorite converter, Canon's DPP. Lo and behold, it made a fairly good white balance when clicking on gray patches of the colorchecker. ACR creates bizzare results.
The "neutral" DPP version, however, did not satisfy the fish people, and I agreed. How a marine aquarium looks to the human eye is not neutral. So I created 6 versions of an image. First was neutral, then 5 with increasing levels of blue tint.
I transferred these to a Samsung tablet so we could hold it up to the actual aquarium. My wife and a fish buddy of hers cycled through these versions until they agreed on one that best matched. That one is shown below. An RGB sample on the gray card in that image reads 89/134/174 !!
Strangely, all but 2 of the corals in the tank matched the image. The two that did not match were in the blue-magenta range. Yet to the human eye they looked very close to other corals that did match. Something about the fluorescence of corals comes into play, I guess.