There were 4 X V12 XJ-S.
What did it go for? Prices are definitely on the rise for these old dollops and dealers want lots for them if they are tidy.
Cheapest went for £2100.
Others were £3400,£9450 and £16500
I can't vouch for the condition as I wasn't there.
There were some cheap Bentleys too.