Just for posterity:

I've also tried to get a quotation on just the tuner chip itelf, the gizmo at the heart of the RF module. Those are about half the cost (in tiny quantities) of a full RF module, but are more difficult (for me) to replace, and don't have as good odds of success as a full replacement does.

Cheers