Nah, I ended up getting a second opinion after reading this cuz I thought the dealer was shafting me. Evidently the dealership diagnosed it correctly and I ended up replacing the transmission, although not at the dealerships cost. It was still $3k in the end. Funny thing is, a month after that...