The machine used to flush the tranny is called a T-Tech. It connectcs to the transmission cooler lines and totally replaces your fluid. Typically costs $80 and is very simple to use. Google the word T-Tech for more details and remember to ask for it by name. If the shop does not know what it is move on to one that does. AAMCO does mine, some Jiffy lubes have them (not all).