Thanks for the replies. I am going to use KOOLER KLEEN identified on one of the links above. I contacted the remanufacturer of the ATX and they said that KOOLER KLEEN will meet the requirements of the warranty to flush the lines and transmission cooler.