I should have been concerned when they ordered the same size tire for all four wheels. After that was sorted out I got the rubber and the alignment and drove away a bit poorer, but happy.
Now, a month later and it's getting hotter, so I figured I'd go over the car, checkk fluids and stuff and tune in the tire inflations back to factory spec. And that's when after a bit of head scratching (a very little bit) I discovered that the right front TPM is reporting to the left on-screen indicator and the left front TPM is reporting to the right on-screen indicator.
I believe that this is addressable from the driver's seat, but I don't remember how to do it. Can someone please spare me the research and point me in the right (or left) direction? Thanks in advance.