Talked to another mechanic. Apparently, it isn't that uncommon for these engines to have valve spring issues. He says about 1 in a 1000. He can replace the engine for around $12,000. Dealer came down to $15,500 for a used engine with 17,000 miles.
Scoping it out, they found damage to the...