If he flushed it already and put yellow in there, thats fine, its a all makes all model coolant, just toss some more yellow or green in there. Dont buy that 50/50 junk, its water really, get a full thing of conetrate and mix it yourself.