Well, I have my car back.

Shifts are smooth (of course) and shift points are OK.

Shifting on the gearshift produces not even the slightest jerk (maybe just a little bit, but almost unnoticeable).

Overall, I would say it's a good job.

Thanks & Cheers, y'all.