I think the problem here is that while many of us are theatre aficionados, probably very few of us are binocular aficionados. I wonder how many theatregoers who use binoculars actually put much thought into the brand they use, or who even try multiple pairs. The binoculars I use are ones that I found in a storage box at my dad's house like 8 years ago, and he was just like like "yeah i have another pair, you can take those if you want."
Although I will say I do prefer them to the much cheaper + bulkier ones I used before that. Problem is, I certainly don't remember the brand I used to use 8 years ago.
For the record, I currently use a pair of Bushnell brand binoculars. But they don't have a serial number, so I don't know how to direct you to this specific version. Next to the right eye it just says "7 x 25, 381ft at 1000 yards"