RE: RX antenna repair?
I don't know about the AR7000, but in the AR9000, the Main Rx box has two receivers inside with on antenna per receiver. You can then connect up to two Satellite (Remote) receivers. Each Remote receiver has two antennas, but only one receiver in each Remote receiver case. So you can have a total of 4 receivers but only 3 cases.