Thanks, doesn't look too onerous then.
I've emailed the garage to get a labour quote from them. The sensor with wire is £220.
This is a picture of the offending part on the car (I think!!). It's reachable between the right side of the engine and the airbox.
And to put it into context, this is an overview of where it is, just hidden, but where the arrows point;
