Sorry to hear that.
The deck has Two belts which are used to move the tonearm on the rods via an offset gear mechanism.
Aside from checking the cover/lid switch (which can wear down and/or get gunk'd up) they should have cleaned and re-greased the gear mechanism as well as cleaned and re-lubed the Two rods that the tonearm slides on (new proper belts as well).
A dry Teflon based lubricant is used on the rods.
There are a few other adjustments (like tonearm start position) which take but a minute or Two.
As you can see from the above linked video it should be fairly quick/simple work.
DeKay
The deck has Two belts which are used to move the tonearm on the rods via an offset gear mechanism.
Aside from checking the cover/lid switch (which can wear down and/or get gunk'd up) they should have cleaned and re-greased the gear mechanism as well as cleaned and re-lubed the Two rods that the tonearm slides on (new proper belts as well).
A dry Teflon based lubricant is used on the rods.
There are a few other adjustments (like tonearm start position) which take but a minute or Two.
As you can see from the above linked video it should be fairly quick/simple work.
DeKay