After googling I discovered that "overall efficiency is measured by dividing the watt/hours used by the battery charger by the mileage achieved, giving a figure of watt/hours per mile." On this basis it's definitely better value to get the 10ah battery as a spare and using that with my 12 ah...