Saw your post about your 958 battery from Interstate. I was about to get a new AGM from them and do a DIY until I saw your post. Did you do this DIY? Any idea why it failed?
The "porsche" battery -- did you get that from Porsche, I've checked they are $500+ here. Did the dealer do the swap?
Thanks
Gary