You did the right thing. It’s totally possible that they come back to you and say “alright, we’ll drop the non-compete.” Especially if the feds appear to be heading towards voiding them all anyway.