https://shop.pghbatteries.com/product_info.php?manufacturers_id=35&products_id=5373That seems expensive for buying in the USA. You can get equivalent batteries at Costco or Sams for just over half that, as reported on this forum.
Note that Interstate 6s are now made by Trojan with the same 225AH, and Costco or Sams are reportedly selling those. (Previously Interstate 6s were 232AH so be sure you get 225s to get the Trojan version.)
Compare their specs:
https://www.interstatebatteries.com/recreation-vehicles/golf-cart-batteries/extreme-cyclehttps://www.trojanbattery.com/product/t-105/