Primero de todo, siento la situación. Entiendo el calvarioq ue debes estar pasando. 5000 cucas es mucha tela.
Te digo que si te compras tú las piezas, todo eso, con mano de obra te puede salir por 2000€, con lo que lo mismo si te merece la pena arreglar el coche, depende de lo cuidado en general que esté y el cariño que le tengas.
Comenta con el taller la posibilidad de llevarle tú todas las piezas gordas (árboles+-balancines+taqués=600€, kit de distribución+poleas+bombas=500€), con otros 1000€ de mano de obra terminas. Claro, esto sin una válvula tocada.... me gustaría pensar que están bien, teniendo en cuenta que el coche llegó andando al taller.
Si necesitas enlaces, te echamos una mano con ebay.de, y si tienes la suerte de ser de la zona centro, en Valdemoro conozco el taller donde te lo harán todo como te digo (te lo digo por propia experiencia)
Ya nos cuentas, suerte