[public]

I should hope that if he/she can get the head off. He/she would have the sense to replace the part that caused all the headache. And you should drain the coolant to prevent so much pouring down on the lifters and such. While it is out, why not go crazy and spend $10 for new coolant. But you are correct, it could be reused, just inspect for oil and then strain out any debris. Expect this job to take 6-8 hours for a novice. Again Good Luck.