@AbrahamT , I believe that you misunderstand the that tax code and regulations. They permit the RMD for the participant's traditional 401(k) account to be satisfied by a nontaxable distribution from the participant's designated Roth account in that same plan, which appears to be what happened here.
