who was the choreographer in bat boy: the musical?
(AND theater.theater_choreographer (JOIN theater.theater_choreographer.plays_choreographed m.0zhpbq7))