Thanks Rex. So, what's the best way to solve this, given that I want use 4NT, and not TCC. (I'm a long-time 4NT purist. :))
Anyway, I tried launching my 4nt window, and then executing a series of "TCC" commands to create nested TCC shells. Again, I do not see the correct shell number...