More effective ways possible than a pinhole leak—electrical fire perhaps?
Unless one wants to kill well they sleep. Maybe the “driller” (if that’s the case) was hoping for it to turn into an explosive type decompression.
A fire would be an All Hands situation.