Shawn Michaels retired last night? He had the best theme song next to Real American.