Coin Center and the U.S. Treasury Department filed a joint motion in June 2025 in which Coin Center argued that its Eleventh Circuit appeal should be vacated and dismissed as moot once the Texas district court’s judgment became final and unappealable