Right. That's what I assumed you were referring to.
However,
@Gregadd did not specify in the post you quoted
which battery was replaced.
Since I have experience with Tesla replacing a 12v battery, I thought I would offer an data point to offer an explanation for which battery
@Gregadd's niece might have had replaced in the $2200 service, since the total cost seems in the ballpark considering brakes and alternator.
I'm not looking to get into a debate. I was simply offering some possible insight.
Have a good evening.