your post is pretty hard to follow ...
"we initiated a transfer of his Roth TSP to Vanguard."
A Roth cannot be rolled over into a Traditional IRA.
If Vanguard did that, they have to correct the error.
@Cdschwark
