Hmmmm. Tricky! Maybe this:
ProntoPro with TWO of the RF extenders. Then in your CCF set one of the SAT receivers commands as RF Channel 0 and the other as RF Channel One. Then set the RF extenders to match and attach the IR emitters for them to the corresponding SAT receivers. Would be pretty easy really as all else you would need to do is duplicate in the CCF the panels, etc. for SAT 1 and SAT 2.... I got my RF extender for my Pro for about $100 so would be less than the xantech and would also put you in RF mode to boot!