I spoke to the new owner of this car at show in Miami. It sure sounds like it. Very nice owner and he services it at Parkhaus1 in Miami.

I would contact them. also i have video of the car if you contact me with your phone number I'll send it
Brian Liebler.
Naples Fl.
239-687-9947

wow 37k...nice! mine is at 159k, but fortunately the PO's maintained it very well and did some great upgrades as well. I'm living in NYC for a few more months, and decided to store the car near my family in North Carolina until we move back. there is an amazing 928 guru in Raleigh, NC - Ray Munsch who has been doing what little deferred maintenance there was to catch up - top end reseals mostly. can't wait until we move so I can drive!!!