It would be a super tough decision to abandon, or give gas to your buddy in a cave environment. If you were the surviving diver - guilt or "what if I donated?" - would haunt you for the rest of your life. He/They made the best decision they could under the circumstances. Sad for everyone.