That new Mario theme sure is jazzy, Jeff.