Hello, I'm Danny.
Your vehicle uses the GM brand DEXCOOL which is orange in color. I've attached 2 pictures below of you vehicles requirement and description. Hopefully he didn't use the green type of coolant. Hope this helps and thanks for using 2CarPros.
Images (Click to enlarge)
Sunday, December 6th, 2020 AT 2:44 PM