Through lawsuits, we did get to see what those payouts were in the past, and they’re all individually negotiated in lump sums, not determined by algorithm. And those payouts were from the good days. Reporting indicates those payouts have dropped off dramatically, which was followed by a drop-off of Xbox ports, since that seems to be the primary way Xbox players play games at all.