紧急求助，更换充电机4000块贵吗？

11万公里的09款A4L，今天提示电池无法充电，充电器故障，坚持开了一阵子，各种报警灯陆续亮起，暗叫不好，赶忙开去路边修理店，离店还有10来米，各种屏幕都不亮了，发动机还没有熄火，但电子手刹已经失效。
师傅拿了一块电池，开着引擎盖开到修理店，检查了一下说是充电机坏了，换一下要4000块，不了解行情，问一下大家，这个价格公道吗？