No, he’s regularly been posting about Amash running.
And this is a Senate race, so no district would apply.
Oh okay, thanks