I've seen the Mushroom King before. Bumped right into him as I was warding off a cave bat. (laugh)