I realize his chances are slim to nil to make a return, but is anyone else hoping and praying he's an alternate costume for Mario? I realize Wario is the "only character with an alternate outfit," but it's the last glimmer of hope I have to hold onto. Just wondering if there are any Doc fans out there.