That's probably what I would do. You dig the car.
What else would you do with the money spent? Buy another used car? One that you don't know, and might need lots of hidden work, and if it's not another Porsche it's likely not to be as cool, fun or interesting.
All the best with the refurbishment.
