The coolant is in between the min and max and i need to top it off. It had a small leak from a hose that connected the reservoir tank to the radiator. All maintenance was done at the dealer before i bought it and idk what they used. The coolant is green, any suggestions on what to use to top off?