Why wouldn't you just use a $13 Winegard CC-7870 joiner, which could take an amped input on one side and an unamped input on the other side, thus allowing a single downlead into the house?

Also, I like the HD-76xx series, but I think it's overkill. At only 9 miles out, a 2-bay bowtie (HD-1080, $25) will probably work with Providence Fox-64 (WNAC, rf12); at least my DTV2B-UHF worked fine on rf9 from 8 miles out. Also, by swapping the 65-inch-long combo antenna for Boston, and going to a 4-bay bowtie (HD-4400, $24), the only channel that it's not designed for is WWDP-46 (rf10). Of course, since they're both bowties with pretty wide beam widths, you'd need to put some serious separation between them, like 3'.

Just offering options. Yes, I'm a bowtie fanboy.