Everything's gotten more expensive in the past year or so. I've been following 718 Boxster prices and they are @£10k up on Spring 2020. Inevitably the rarest / youngest / lowest mileage / best examples will attract the best prices, so £10k+ doesn't seem crazy and is still below the average used car price (now £16k I read the other day).