I found one!

lanpwr.com/…/lanpwr-sodium-ion-starting-battery-u…

The only downside seems to be price. It’s about $388 USD whereas my last battery was about $150.

But that’s cool that they exist.