I have an HR-54 and a mini 61 4K on vacation and I am using a Mini 41 now because of sound cut outs. Every month I get a nice email saying Directv is working on the issue but it is unresolved. Yesterday there was a new download # Oxd80. Is this going to fix my issue and I should switch to the 4K mini again? Any thoughts?