Two thoughts...
First, the FCC has taken your side regarding installation and use of a television receiving antenna. In short, the FCC says you may use an antenna of the size required to receive the desired signal. They also say that no zoning or other rules may hinder you from mounting as high as 12' above your roof. See:
http://www.fcc.gov/guides/over-air-r...n-devices-rule. I would not start out with the intention of starting a fight with my neighbors, but I think it's reasonable to expect them to respect my rights also. It's not unusual to see HOA's presume that the satellite antenna size limit of 1 Meter extends to over-the-air television antennas, they're wrong, the FCC specifically describes OTA TV antennas in the same context, without a size limit... I presume this is because the FCC understands that larger dimensions are required when designing an antenna in the VHF and UHF bands as compared to the Multi-Gigahertz band in which satellite services operate.
Then, if you're willing to risk spending money on an antenna that may not be up to the task, the smaller version of the Y10713 is a Y5713. My inclination is to go with the Y10713 (or the Winegard version).