Well, I did make the mistake of actually talking to her before measuring the dish. It's exactly 40" across, so it's just big enough that they can say to take it down. OTARD specifically says 39.37", so I won't fight her on that. Luckily it was free, unluckily I got rid of the smaller dish and brought the bigger one to CO with me. I'm more tempted now to grab that free 36" dish if it's still available...
As for the antenna, I might be willing to swap it since I don't really need RF 2 (rebroadcast on RF 27), but there's no way we're completely going without unless someone else wants to pay our cable bill.
So, anyone want a 40x44 fiberglass dish with nprm? Just pay crazy shipping, or come out to the western slope and I can meet you somewhere.