the person that started this thread has a spreadsheet with info on where the reds are coming from. More come from Austin so far, but not by much. It’s also just the people the OP was able to find across a few sites, so it’s not definitive. But it gives you some idea...