Just received, a new receiver (clone). Using the receiver menu, a SW update has been done. My question is: how can I know which server has been used ? The server name (internet address) must be stored somewhere !