Tranny flush ?
And you asked if they would have used a flush or exchange machine. Every "flush" machine I have ever seen is an exchange machine being called by the wrong name. Probably an exchange.
However, some dealers and shops will use a cleaning fluid as part of the exchange (this is what is properly called a "flush"), and this is NOT always good. The ones that use BG machines are generally the ones that push this. You really can't go wrong with a simple "exchange" with no additional chemicals.





