sounds like everyone is in agreement. So, at most how much should the repair cost?