Yes, I once waited 45 minutes in Costco as they tried to reset the TPMS, I didn’t know what they were doing and they are H&S jobsworths so I couldn’t get near until they took it into the car park to ask what they were doing.
Driving it as said should sort it. One of.mine once didn't register after a tyre change so the garage deflated the tyre by about half then pumped it up again and that worked. They reckoned a bit of **** had lodged itself in there on fitting