Hi Guys,
Thanks for your comments. I checked with my nearby Porsche dealer (Valley Motors) and the cost of the 30 K service is ~$880 (as said before, roughly speaking). An independent Porsche mechanic in this area states that labor+parts will amount to ~$700-750.
Given the relatively low cost difference and the fact that the car is *still* under extended factory warranty, I think I will go ahead and bring the car to the dealer. If something goes wrong during the service (although probably unlikely) I will not have any problems with the warranty. Which after all I already did paid for... !
Thanks again...
Humberto-