Has anyone changed to a smaller battery? I see the Varley Redtop is a poular choice, which one would I need? Has anyone used a smaller battery that isnt a Varley?