Here is the official synopsis for the "Shawn Michaels: Mr. WrestleMania" DVD. The DVD will be released in the United States on February 11th, 2014. It will be available in Europe on March 10th.
"For 30 Years, WWE and its Superstars have created a pantheon of iconic WrestleMania moments that are immortalized forever in history- but only one man can lay claim to the nickname “Mr. WrestleMania”, Shawn Michaels."
"Whether giving Undertaker all he could handle in a quest to break the streak, revolutionizing the business in a Ladder Match with Razor Ramon, or descending from the rafters for an exhausting 60-minute Iron Man Match with Bret Hart, Shawn Michaels always accomplished his one goal at WrestleMania. That goal was to steal the show."
"Now, fans can own all 17 of his iconic WrestleMania matches. See all the jaw-dropping action from The Showstopper on WWE’s grandest stage."
As seen above, the synopsis is touting "all 17" of HBK's iconic WrestleMania matches so it appears that the triple threat match against Triple H and Chris Benoit will also be included or this is just a mistake.