To move to the .GOV domain, the county must first send a letter to the .gov registrar and say they are actually a county, what they want and how they will use the domain name.
The budget increases too; the county apparently pays $25 dollars per year for its domain name, but the .GOV domain apparently arrives with a $400 dollar annual bill.
While the price difference is almost 20x, there’s a price to pay for peace of mind.