Acting lazy here, but does anyone know off hand what the "type" or "model" of our stock porsche batteries are? I am going to Powertech to get an Optima battery installed later this week, but for now am going to sears to get a regular interstate battery to put temporarily in my car.