Welcome Philip, I was unable to look at the pics
Not too sure about import/export market, but I believe that if you are buying a car from another country
you have to contact customs and excise and that the car has to be in the UK for 6 weeks before
it can be registered in the UK, if I am wrong I am sure someone will correct me.
You can check on the government site www.direct.gov.uk/.../BuyingAndSellingAVehicle/
The 72 blue convertible has done 800kl, but not been road road registered, was this mileage done on a track,
I wish your friend good luck with the sale of his cars, they sound very good.