I would love to have this clarified by someone who knows more about patent royalties. It's possible that you're right and they're essentially discounting their fees by 35%, but it's also possible that there is a difference between the OEM sales price and the net sales price that this royalty applies to.