All have versions of that car. All had A/C. Therefore no shorter belt is available. Unless I wanted to try the hit or miss with belts.

Towed it in last night. Should have it back today. We'll see what additional charges are added. However, this mechanic has done good work for me in the past and at a reasonable rate.