Many, many people have seen the 2001 Dreamworks Animation film “Shrek,” loosely based on a 1990 children’s picture book by William Steig. The original film became a huge box office hit that spawned numerous sequels.

Not so many people, though, have seen “Shrek the Musical.” It opened on Broadway on Dec. 14, 2008 and had a run of 441 performances and 37 previews. It earned eight Tony Award nominations, including Best Musical, winning one for Best Costume Design.