I can't see the ebay links at work but for £7K i reckon you are looking at an early Bugeye WRX for a newer car. There are a few about with low mileage, in good nick, but what about going for a Classic? For £7K you could get a spanking classic.
There are some specials that are still desirable now like Type R's, RA's, P1's etc.
There doesn't need to be an issue with imports either. There are plenty of specalists that can look after them, and it only takes a map for UK fuel, and they are just as (if not more) reliable as UK cars.
Welcome BTW