@Hertsman - yes, with the TCR, the performance pack would be the option I would look for, but it would also have to be a later one with the akra. The difference with the R20 is that the akra is an option, like the Ed40 buckets, so will be the sort after extra on used examples, thereby attracting a premium imho, although probably not as much as £3.5k.
Buckets, a £1,350 option in the Ed40 make the car around £5k more expensive than a standard seat example, so we'll see. At the end of the day I spec my cars for my enjoyment and not for the resale value, so what will be, will be!!