Glad it helps, David!

You are correct it is general limitation because the contributions are related to his employment.

There would have to be a part of the distribution that represents earnings, which belongs to the passive basket.  You will need to dig a bit deeper.  This wouldn't make a difference if it were an IRA but would for FTC limitation purposes.