If they pull the pan and inspect the rod bearings, that will tell the tale. If it shows damage to more than 1 or 2 rod bearings, then it lost oil pressure. On a 200K engine, that is a possibility, but the coincidence that it happened right after an oil change would be hard to accept.