$6000, not from a Honda dealer.
I pulled the dash apart, sure enough, they just pulled the bulb for the check engine light.
Called the guy after and ripped him a new one. He claims it was this mechanic he pays under the table, who knows. It's going to get fixed, at his expense, by a shop I know.