Several people on Pinside independently said it.
It would appear reliable given that one of them is a copyright lawyer who's familiar with their licensing travails, and revealed the latter information in my post. I was also told by two distributors in Europe (before that post was made) that it was in the 190s.
Interesting stuff. Thanks!