I am also confused by the use of Backdoor Roth IRA. Distribution from a 401K is not typically referred to as Backdoor. I think there is more to this story than is being shared.
