I've not managed to get a 5950X above 3800MHz IF with 1:1 RAM, when there is 64GB/128GB, that doesn't mean you won't but you could happily down clock the 4000MHz, and tighten the timings for better latencies, which will make a big difference in your area of use. The Neo might do 3800MHz at C16 but there are no guarantees, so if they cost the same, it seems like an obvious choice.