Ah, okay! Yeah, they've told me before that there's nothing wrong and that the check engine light just comes on randomly sometimes. That's part of what makes it so difficult to believe that it actually needs $3k in repairs!