I have a 97 euro-spec Boxster with 17k km (or roughly 11k miles) on the odometer that I only use on weekends. The thing is I've noticed a leak coming from the cyl head gasket for a month now. Also it hasn't registered on the dipstick as it still shows full on the stick. I was wondering if any of you would know if this is a normal occurence for the Boxster (given that mileage is very low) and if so what's the best option? Leave it as it is or replace the gasket or reapply silicone, etc? The dealer here in the Philippines is charging me and arm and a leg for the repair since thwey only have the special tool for it-something about a holder for the camshaft.