about 6 weeks ago I got a MicroHD and its the best receiver I have used since my first dish back in the early 1980's.
One issue though is recording quality. It takes up 4 GB for 38 minutes of recording.
Is there any way to set the recording quality or in some other way reduce the file size?