Well, I've got the oil, got the pump, now I just need verification for what size / type allen wrench to have before jacking the car up and getting started. Looking for drain hole and fill hole sizes. I have a 2002 Boxster S 6 speed. Renntech DIY calls for 17mm allen and 16mm triple square with hole in the middle. Posts from Kirk state 10mm allen only needed. Anyone have the final answer? Thanks in advance.....Mark.