My friend hit another car in and agreed to pay damages. They quoted 3.1k and he can get it repaired for 1.2k. What are his options? England