Yep, probably closing in on 10,000. Players, coaches, team personnel, umpires, facilities staff, doctors, media, lodging, food service, transportation. Double that if not disconnecting all of them from their families for months. Then still needing a 0.000% failure rate on the supply chain for food, supplies, equipment, transportation. Best case is things improve enough by late May/early June that they can prepare to play the second half schedule. Even then there would be stadium sharing or teams playing out of their spring training complex if they're located in hot spots.