I agree. As long as there is no battery damage it shouldn’t cost more than 2k. Even less if you can repair the fenders + bumper and paint the car yourself (I recommend getting paint matched rattle cans and sanding between base coat and clear coat)
Experience. I bought an M3 Long Long Range...