Gee, Kids, Let's Put on the Show Right Here!

So, if the Avengers produced a musical, it would presumably be by Rogers & Hammer(stein)?