I was wondering if now that Shawn had retired for good, WWE would plan to release or already have released a Shawn Micheals compilation DVD.

I'm looking for something with his wrestlemania matches. Anything?