I saw the other day that there are over 1400 US Federal judges. That does not include magistrate and bankruptcy judges. For whatever reason that number seemed high. Guess I just never thought about it.