i dont know what they use.
Confessional here:
In 40 years working in and owning auto repair shops, all in large urban areas with municipal water supplies, straight coolant has always been cut 50/50 with tap water.
I've only seen a shift avoiding tap water since Y2K. With all the different formulas demanded from different manufacturers, and the incompatibility between blends, many shops are stocking pre-mix to avoid any questions of tap vs distilled.
Also, basic flushing has been banned here in California (I'm sure many other places too) unless expensive, recirculating systems are used. Not many shops make that investment.
Thankfully, the advancements made in coolant technology have really limited corrosive effects, and most coolant will truly last 120,000 miles.
In the instances where a flush is necessary, like when coolant types have been mixed, pneumatic coolant exchangers do an excellent job of extracting all the fluid in one smooth operation via vacuum. It also pulls the empty system into a vacuum for refill in a manner that completely eliminates any burping needed for air pockets, both below AND above the coolant fill level.
AirLift is the most popular brand, more durable than most competitors. At $200.00 retail and requiring an air compressor, it's not really sensible for many home mechanics. But if you have a compressor, and you find yourself draining and refilling coolant more than a couple times a year, it's a worthy investment that can be found for about $150.00 online.