i have a receiver, brand name "ASTRA 6500", i heard that it can be patched, but i cannot find the receiver name in the list of all receivers here ,can anyone help