I heard that the 9th was going to be redistricted anyway so the Dems would have lost the seat anyway.
Maybe. But now that the seat is in Republican hands, the Democrats may have to give up a different seat in any redistricting deal.