Toys should be a third. But an easier way is to just disconnect the drive shaft and turn the pinion, for every 1 turn the axles should turn 4.88 times (or just the opposite).
You should ask the shop exactly what it was they put in there and what it should look like when it comes out...then you will have more to go on and maybe peace of mind (or not).