..yes, both fobs.
So I suppose the first thing to try is the fob batteries, so I'll report back when they turn up. For the moment I can lock/unlock the car with the physical key, and start by touching the fob on the start button, though it's funny how tense you feel waiting for some sort of "can't detect key" message to appear just as you stab the go pedal down a clear on-ramp 🙂