postscript: looking again at the estimate, the mechanic was actually going to charge less ($107.81) for a new battery than I could find one for on my own (about $108). I mean just the battery - before labor & shop supplies.
So, zero markup on the battery, or arguably even taking a loss, vs. 300% markup on the brake parts. Business is hard.