A Florida magistrate judge paused discovery in the McCrudden suit until the arbitration motion is decided.
