Yes, I certainly did, and I'm frankly amazed they let him take all that leave at ONCE!!!
From what I understand it's not unusual in peacetime to be allowed to take all accumulated R&R days off the end of your time, but, like I said, I wonder if it's different in wartime. I'd think it would be.