Can you help me estimate repair costs?

Hi I am from European country trying to import a car and repair it. My mechanic said it would approximately cost 5k EUR max to repair this car but he said only after watching this bid site. Site says over 20k dollars. Can you let me know what you think about damage?

https://www.iaai.com/VehicleDetail/41639354~US