@Gilles ... yeah I did specifically ask my garage to check and replace the pump when they did the AOS, same for the motor mount. They said they were both fine. It's pretty hard to argue with a guy who's been a Porsche tech for 40 years that some people I've never met on the internet insist it should be changed!