Honestly, when these came out, they were $50 a pop and he was a subscriber. It’s possible the guy had a third subscription that he did play. I know it sounds crazy, but there are guys like this.
We’re paying $150 for UHQRs, so it’s not as crazy as it seems since these were acquired over time...