"Given the breadth, depth and increasing scale of the InterDigital patent portfolio, we have been able to identify an additional 3,000 patents and applications that we believe we can monetize outside of our main handset licensing program. We are currently having dialog with a number of parties and are targeting signing additional agreements."
This sounds like 3,000 more instead of a total of 3,000 of which the 1700 to Intel would be included.
If they sell these 3,000 for a similar amount to the Intel sale they will have over $1B in cash.