They are now looking to find a battery that fits and has a little more power.
Ken, you may know that the later Aero batteries are not a commonplace size to fit the width/length of the battery tray, so your choice is limited.
I found an Exide Gel battery of a slightly higher Ah rating than the standard (and cheap!) red Banner. Sorry I am not with the car at the moment or I would tell you the serial number. Good luck.