A friend has inherited (legitimately) a Base TSD2 STB and doesn't know the PIN to be able to retune it to the new location. Is there a PIN reset procedure?