Yep, dealer's about right on. My EO has 42k miles, great shape, appraises for around $9-10k where I live (still looking around as always). So, yes, depending on your miles it's only worth around 4-5 grand rt unrepaired. Sorry to hear about your engine. If it was me, and I needed a ride fast, I'd demand 5k on a trade and call it a day (after writing many nice letters). Otherwise, sorry to say you'll be in rentals (eeew) for several days at least, but it might be worth having a '0 mile' engine if you can put up with it. What's the warranty for all that cash, I wonder? I'd look into that before deciding anything.