Yes. 15 years on Broadway as a musician and four musicals. Boredom is a common malady especially with long-running shows where the pace varies by no more than a minute from performance to performance.