Habe nachgefragt.

Die Info stimmt, der Service wird seit einigen Wochen im direkt benachbarten PZ betreut. Nach Aussage eines Porsche Mitarbeiters sind jedoch die Techniker/Betreuer identisch geblieben, die Arbeiten werden ausserdem weiterhin im Werk durchgeführt.