I doubt the garage did anything while servicing the car that would effect the clock.
Do you have anything plugged into the power sockets in the car? A phone charger or something like that?
Is the car still fitted with the original Hyundai radio or has an aftermarket unit been fitted?
If I helped you fix it, why not...
Your support is greatly appreciated