hopefully he shut it down as soon as he saw the light, if the oil pump got weak and was working at all with synthetic oil he may be just fine however if the pump completly failed with NO oil pressure he has problems. same goes if it wasnt synthetic, its a goner. You should be able to tell by the sound of the bearings are toast also by taking the oil filter apart would be a tell tale. If the light still comes on when he starts it thats another bad sign.
95 E34 530I V2.37
===========
Those who make peaceful revolution impossible will make violent revolution inevitable.
John F. Kennedy