It sounds like it is best of breed.... so 40% of market should be more than obtainable.
But as you said, this is only UK.... Europe is multiples of this.
Royalities could easily surpass $50M a year (given a few years).... Market cap would be closer to $700M.... makes current market cap of $12.5M look a little small :-)