Problem solved. The car sat with empty crankcase for a couple of weeks. We blew some compressed air into the gauge port and heard nothing to indicate broken parts, so we then let the starter run a bit longer to prime the system and the oil pressure returned. All is well.