Appreciate all the information and suggestions. I ended up going with a middle of the road ACDelco one for like $50. Figured that'd give me the best of both worlds, so to speak. Being ACDelco, not $100+, and her dad and I splitting the cost, figured that would be worth it. Also picked up the serpentine belt from RA while I was at it. Again, about 1/2 the cost of one in a local store. There wasn't a huge difference in price for the coolant, plus I'd have to pay shipping for that, so I'll just get that local. I'll probably pick up some of the hose clamps locally as well because I'm sure those will need to be replaced as we take things apart.