You're probably right, and what's more, it's likely they didn't license this patent specifically, but rather it was included in a family of patents for which they negotiated a license fee.