Hi. I've narrowed down my choices for a robotic pool cleaner to the Dolphin Supreme M3 (actually a Dolphin Primal X3...same thing for $600) and the Polaris 9300 ($700). But I tend to get a moderate amount of leafs in my pool, both medium and small sized. I know the M3 uses filter cartridges, while I think the 9300 uses an internal basket. So which would be better for collecting debris? Anyone have experience with both cleaners? Thanks.