Less any repairs or new tires or whatever.

Actually, if they are flipping your car to a dealer, they are going to go with the auction price. What dealers are paying for a car like yours. Plus they need to make a profit. So they get quotes from local dealers, putin their cost and offer you the difference.