Hmmm, a bit worried as I would've expected a dealership to have done this multiple times before.
Heading up there at the back of 5 so will ask if they have re-fitted the sensors to the new tyres. The service advisor definitely mentioned that the TPMS light on the dash was on as the tyres weren't runflats.
It should only need the tire pressure setting reset in iDrive. I had the same thing when I had my original wheels in for refurbishment and was given loan wheels.