Our coach has the Traveler up top with the control box in the overhead compartment. How much space does the tuner take? What I see for the Genie HD DVR requires 15" of depth, greater than our overhead depth. Are there other options?<br/><br/>At this point I'm simply trying to arrange cabinet space requirements.<br/><br/>Thanks