What would be a good device to record a musical in a theatre? Considering the quite probably once-a-lifetime opportunity in question, cost is not the question. Being small and making good quality recording is.
Edit: this is an unlicensed recording from the audience. It's for my own memories. I do not plan to spread it -- noone would care anyways the same musical with the same cast has a concert CD/DVD out already. Let me deal with that. Just help me find something to record it :)