Im thinking 12k repair, then you would think they would get more than 5k at auction. Anyway they know what they are doing.