George Added only 1.5 gallons to the water flushed system.
My guess is he may be close to 60 water 40 antifreeze now.
A test would give the correct info.

Ahhh, I read the post wrong then, dohhhh!

those testers are pretty cheap and easy to tell what you do have, and they give you marks for temp conversion. somebody in texas would be good with 0 to -10 i imagine, like they said the extra water will help in the summer