shortcircuit,
I'm not sure why you disagree with my method.
It is the same as you described in your initial response, ecxcept that the 2nd panel is also 200-amp. Therefore, the tap is #4 copper just like the GEC.

e57,
For some reason, our local PoCo won't permit GEC connections in the meter socket.