Receiver model is in fact Tx17 (not Tx7)