I would search Exonian’s previous posts, he’s written several excellent comparison reviews but his view may be different to yours. Based on the specification you want my advice is go for the TCR; for only a few thousand more you’ll get a more recent car, perhaps close to 3 years newer, more equipment some of which was not standard or even available on the ED40. All the benefits of the Facelift model, perhaps even Akrapovic exhaust.
If you want a car to mollycoddle, pamper and you only do a few miles buy the ED40. If you do average mileage and your car will be a workhorse buy a TCR. There’s plenty of choice at the moment. Plus you’ll get a manufacturers warranty.
Each to their own.