From what he was telling me it'd been a little low on oil, so he'd just topped it up. As he drove down the lane later, the oil light came on and as soon as he depressed the clutch, the engine cut. I think he said it started sounding VERY rattly first.
I asked him to check the filter - it was still in place, not leaking, and there didn't seem to be any unusual fluids or damage to the underside and there was still oil on the stick, albeit smoking gently (then again, they usually are a bit after running).
Just in case it was something random I told him to drop the king lead and crank it briefy, to see if the light went out - which it didn't - and apparently still sounded just as noisy.
I suspect the oil pump drive has gone, or maybe the pickup pipe has come loose? Or is there anything else that can cause something like this? Spun bearing blocking an oilway?
Any opinions? - not ever come across a pump failure so thought I'd ask here for the benifit of Dan so there's some information availiable when he gets back and he can get it sorted ASAP!
Was running perfectly beforehand - was doing about 4500RPM when it caved.
... Still Sprintless.
I was making no reference to any of those failures causing it to stall, I added that merely for reference, just as I was told what happened, in case there's something typical of that failure. 