Got quick software leak (physical only for all three titles).
Mario All Stars 1,165K
So Avengers digital must be >715K.
Mario with 50% digital split would be >2.3M, which is bonkers, should be outperforming Mario Odyssey outside of Japan. ACNH has been at 60% digital outside of Japan, so sounds like a 450-500K month.