Update time
The car is now running, they eventually got it started by some means (probably easy start

) but its running none the less.
All they did was drain / flush the tank and lines and put £20 of derv in it.
Took them nearly a day of faffing about to get it going mind you.
Time will tell to see if it lasts or not?
Cheers for the tips/advice etc guys!