Does anyone know the physical cart file download size for Mario Odyssey? Can't find anything online, only digital download size.