I'll be in Austin in late November. Maybe we can schedule a mini meet then.