So...you essentialy have 95 amp hours to work with and this means your
GPS can run for about 150 hours before you should recharge your batteries.
Note that 12.25V measured in RESTING state is 1/2 discharged for a 12V battery. About 12.8V is fully charged.