That sounds right. But no federal marshals. They'd laugh at Jeb Bush if he attempted to tell them what to do. He ain't their boss. His brother is.
My daughter worked for the FDLE, good outfit.