Sounds like the right folks to have wrenching on it.
Even so, can't hurt to ask them how they torqued that bolt and if they have the tool... even if they know exactly what they are doing and did an expert job with everything else, if they didn't have the tool there's no guarantee they got the torque on that bolt right. Given that it sounds like you've got a car that's in great shape and had a lot of good work recently done, would be a bummer to risk letting this be a concern... cheap insurance to check it. Either you'll find it's already fine and you'll have peace of mind for having confirmed it, or you'll find that it needed adjustment and you'll prevent an avoidable failure.
Here's one of the things that's guaranteed to happen if that bolt isn't tight enough...