Brian Tyler, Koji KondoThe Super Mario Bros. Movie (Original Motion Picture Soundtrack) LP, Red + LP, Gre + Album