Never leave valuables in your vehicle when you bring it to be repaired.
It is true that most shops have very trust worthy employees, but not all do, and you do not want to be a victim of theft. https://branch-drew.hubstack.net/auto-repair-helpful-tips-you-can-use-1719497739