The cost of producing an Off-West End musical