I've seen a few restorations on here with factory style batteries. I would like to find a factory correct battery for my 1984 RX-7 GSL-SE but haven't had any luck.

Anyone know if they are sold? I see these all over the place but they are all US domestic cars: http://www.antiqueautobattery.com/

Anyone know what brand and size the original battery was?