Are all those varieties reasonably common in the US? A good percentage I've never heard of, though as it happens Pink Lady is the one in the top category I see

Are all those varieties reasonably common in the US? A good percentage I've never heard of, though as it happens Pink Lady is the one in the top category I see regularly in markets here (Aus), and indeed my preferred choice for eating fresh (which the rankings seem very biased toward - some apples are pretty ordinary fresh but great when cooked). Kanzi and Envy are moderately common too but I've never been blown away by them. I've also had multiple people tell me "Cox's orange pippins" (or just Cox apples) are supposedly the king of apple varieties but not listed here.