I am planning to get the new antifreeze in my car in a few weeks. I am getting the stuff for the job and a shop will do the work. Wondering what should i get for a flush. Just got the car so no nothing about the history except the P.O. said he had new antifreeze put in along with a t stat. I tested the antifreeze and its has 3 balls floating and he had car for 1.5 yrs. Antifreeze appears to be orange in the tester. Car is a 2004 Buicl Park Ave with a 3.8 motor. Will most likely use dex cool antifreeze and plan to use the pre mix. Shop said or understood distilled is not needed. Autozone said Blue Devil flush is what most shops they deal with get. Thanks