match 10 red alliance was missing 1 bot team 1842. anyone know why. just wondering so our team has a heads up for our regional.