LOL, I wonder of it’s still for sale…
If it’s still for sale at the MSRP price…I’ll go buy it…they are selling now for about $15k.
If there is anything wrong with it, nobody will be able to fix it. If nothing is wrong with it, you could buy it and you will always wonder when you will find that something is wrong with it. Your attitude should influence the decision. Look at the regular battery and see if there are scratches on the terminal connections. If there are a few, the car has been jump started frequently. Good luck whatever you decide.