Welcome to the forum. Do you have more details on what the dealer found? Any fault codes?
Did the red throttle body (ETC) warning light or the yellow 'ck eng' light come on?
Did the red throttle body (ETC) warning light or the yellow 'ck eng' light come on?