Well, I decided to go with a new radiator, found a new one for a couple hundred (if that), so my cousin calls the shop since he's going to be around there to tell them he's going to stop and pick up my old radiator. Turns out they already started working on it! Long story short, they agreed it was their fault and said they'd do it for $250 (and described how well they'd do it and how it would take more pressure and they'd guarantee it, etc...). So I'm going with the old one.
