Hey folks, a question for the forum...on my old Porsche I change the oil once a year (drive it less than 3000 miles a year). I've always used synthetics but recently i had some work done on it by a local shop and they filled it with Castrol GTX 20w-50. That's a perfectly acceptable oil by owner's manual specs, but I wonder if a dino oil is ok in there for a year. (For neutralizing acid and all that). The Porsche community is divided on use of dino oils in air cooled engines, but back when the car was new it was ok so I'm not really worried about that. Thoughts?