Looks like you got it all worked out.
Something that a lot of people don't seem to realize is that antifreeze doesn't just keep the coolant from freezing. It has lubricants in it for the bearings of the water pump & keeps the block, seals, & gaskets from corroding.
Buddy of mine at work took out his water pump from running nothing but water in it for too long. My brother did the opposite, thought more is better, & ran nothing but pure antifreeze & it ate up his head gasket. Most of the time there is a good reason to do what the manual says.