> In the ones SpaceX didn't win, the winning bid was nonetheless forced lower

This sounds like a really satisfying result. Do you have any sources on specific areas where that happened? I was kind of surprised that Starlink wins weren't more broadly distributed through more states, do you think the FCC was trying to spread the funds around between multiple ISPs?