[rockytriton]

I wish I knew. I bought it from a lexus dealer, so previous owner traded it in. I haven't really found any documentation on past services. I'm thinking I'll take it to a local porsche dealer soon and get it thoroughly checked out.