But they didn’t, they put it under the normal pleblian Fiesta manual, and I just never checked.

I was kind of bummed about it, since this is my first brand new car, so finding it made my day. It was an uneventful day.