Great story !

There's a product called LockTight (it may have a different spelling) which my husband often uses to keep screws from loosening. I don't know if it would be appropriate for your situation but maybe the mechanic could tell you.