Amen to that. A attempt at a quick fix from a combined 8,000 or so years of experience here, or fold it up and throw it out. Once it's in the garbage the remorse is over.
It's a $1,200 job, so the $10 in waste is not so bad (if it doesn't start compounding)