Do you think the WWE is grateful that they never made Chris Benoit lose to The Undertaker at Wrestlemania?

If Chris Benoit was part of the streak, then that means that the WWE would have to show Benoit during the video that recaps each opponent Undertaker defeated. It's not like if they can skip him and not count his loss.