I would be as pleased as punch for them provided that they were grateful and not arrogant about it!Hunting is all about being in the right place at the right time and making good on the opportunity you are given.Whhen it happens it happens and the amount of time you have put in doesn't mean a thing.How can you begrudge any one their success? I can't.If they are cocky and think it is going to be easy to duplicate their success the realities of successfully and consistently killing big deer will humble them pretty quickly!
I would be happy as heck for them especially so if they have the right attitude!