Well if he's going to go through the trouble of swapping engines I'd pop the head off anyway and inspect it......a good friend of mine had this happen and simply swapped the head gasket and he's still driving it....maybe he got lucky?
I can check with our bmw guy monday, I mainly wrench p-cars
