@edsbs.bsky.social I think the Austin one is the US Grand Prix, and the other races are referred to as the city name