They're replacing it!!!
I definitely disconnected the battery when I replaced the starter. Funny, I guess my mechanic didn't look very deep into the starter area because he asked me if I might have reversed the cables on the starter. Maybe I confused the one cable.
