Didn't get much info from dealer other than this report:
http://clients.automanager.com/scrip...7d9a2ecb8b2d61
And when asked to provide more, high-res photos of the car, I was pointed to here:
https://www.cincinnatiusedautosales....7d9a2ecb8b2d61
Which is hardly better than what was on Autotrader.
Question is, should I go for it and have them get it checked out the local Porsche dealer? They seemed amenable to doing that (at my expense, as I suggested).