Sorry for the late reply, I have just moved house (which has space for at least 4 cars 🙂) and yes they wanted £11,000. I said I might consider it at £9,000 and he nearly choked. I did a "car vertical" check on it, and it was imported into the UK in January 2024 then registered in the UK in February. Previous prices were £12,300 and £12,000. Dealer has had it for a year and I think he paid too much for it. BTW when I was talking to him, I noticed a Rolex Mariner on his wrist and I large diamond encrusted ring, hmmm "Del Boy" type. Anyway I will keep looking.
Crusty