No, I don’t think that the people who perform “Hamilton” are bored. They do it every night, and still, I don’t think they are bored.