As someone who will never jack up their own Model 3 and wants to get a set of these for in case I encounter an unexpected tire-change situation at an unfamiliar shop, has anyone experienced any issues with the shop mechanics using the smaller diameter jack pads vs the hockey puck sized ones?