Yep. The seller should be really happy with that. I was too.
I bought this one:
https://bringatrailer.com/listing/2002-porsche-boxster-s-25/
Never regretted buying this car with its particular options, but glad to see I wasn’t absolute top of market.