John Petrucci, Super Mario Bros