What if Shawn Michaels was nicknamed "Nasty Boy"?