Retirement tax questions

OP seems hung up on the fact that he is paying the loan back with after tax dollars, But he could just as easily be paying it back from nontaxable income (a gift, child support, an inheritance).  The source of the funds to repay is irrelevant.