Last night I played some more with H265/hevc vs. H264/avc vs. avi files. I converted the original 1280x720 H265/hevc file of 307,151 kb to 1280x720 H264/avc file and the size increased to 902,594 kb. Converted to avi format and size increased to
1,751,218 kb. Did the same with mpg and the file size was bigger than the avi version.

I can see why H265/hevc is needed with the new 4k receivers when recording 4k content.