Auto-RX is a genuinely good product.
Have used it myself. Picked up roughly 10psi cranking compression thousands of miles after it was drained.
Is not a sovlant is an ester based clearer.
The t-tek is probably just a flush machine that does a fluid exchange.
I would just drop the pan change the filter, you will get much of the fluid but not what is in the converter. If that worries you drop the pan again in a week.