I tried my best to do that. The fact that it was doing it before and after the clutch hydraulics update suggests the same underlying problem, perhaps.
For what it's worth: the shop did not seem even remotely hesitant to have me bring the car back in, and did not brush off my concerns as "normal".