Take the $3700 you would use to fix it, and buy a $3700 car from carsales or something.
Don't repair it. It isn't worth it and you are only throwing good money away.

Get a new car.