Not if they didn't go looking I guess. If the Kpro merely told them it was running lean pre-vtec, and not having heard of that fault code before, I'd assume they would say the map was at fault instead of a sensor. I know that that's what I thought. As with most things, you can only make a decision based on the information presented to you at the time.
When I get back from Scotland I'll speak to Eurospec and mention it could have been a faulty sensor and see what they say/ suggest. But then I guess, that if it is a sensor, the problem is likely to re-occur even with Romain's map, so we shall see.