Shawn Michaels vs Chris Jericho?

The Rock thinks that'd be a pretty handy-dandy fo-shandy neat-o-riffic match, don't you agree? Has that match ever taken place? They are both scheduled to return at sometime or another. It's possible they'd have some connection with each other in a WWE storyline, both are very talented, would be a very cool match as I noted earlier, in my opinion at least.