It was sent as a private email through crowdsupply during the initial funding, when I asked the question there. But just after I asked the question on crowdsupply this forum was setup so I cross posted the question here and then when I received the email reply I posted the reply here, because I was sure that others would be interested as well.
If you look at the ADC specification on datasheet for the LMS7002M.
The (maximum) input amplitude is specified at 0.8 volts peak to peak.
And 0.8 volts on a 50 ohm input would be 12.5 mW (+11dBm). And if you assume that there is probably in and around ~3dB of attenuation from the “matching network” (what I would call a front end filter) and if you also add in a miniscule safety factor that would produce the +12dBm (0.90 volts; 16 mW).
The maximum (before permanent damage) of +12dBm still looks good to me.