I had the coolant flushed on the 1991 Buick Park Avenue today. It was orange, so I assume at some time in its life it had Dexcool put in. There was some residue in the reservoir before also. Well I just went out and checked it to see what the shop put in, and they used yellow coolant. Not the green that this car calls for. What type of coolant is yellow? I know green is standard, orange, blue and pink are GM, Honda, and Toyota long life. What did they use?