Let the clutch change at the Lupo 3l or sell it?

Good morning, I now have a Lupo 3l from 1999 with 250,000km on the clock and 30,000km of it have been since the purchase of me. At a traffic light suddenly the engine went off. First the engine turned down quickly and choked afterwards. He didn’t want to start any more, so the gear has to be taken out of the engine compartment by hand, because the shift lever didn’t want to move any more and the Lupo can be transported to the workshop. He can now start in neutral gear. The VW workshop meant the repair costs 800 euros for the clutch. 150 euros for the gearbox to be dismantled and to have certainty. On the hydraulics there would be no damage. Unfortunately there is no guarantee for the statement that the coupling is defective and the workshop is only quite sure. So whether the investment is still worthwhile, or whether the price is in the frame. What do you mean? Repair or sale?