You can get a $70 add-on called the AM21 to provide ATSC tuning to the HR21 boxes. I plugs into the USB port on the back and provides two ATSC tuners. Since you have an HR10-250, you can probably demand they provide that for no cost.

I have no experience with the OTA capabilities of the HR2x boxes.