I would try to get the operating room medical record it should have all the information about the pump its factory number aned its maker.
also try the surgeons record their office must have the answers you seek .
I am sorry for your loss, good luck hun