Many ocean circulation models use representations of lateral mixing based on instability theories that predict weak mixing in the ocean interior, much lower than observed. We show that using more realistic mixing improves the distribution of mantle helium-3. It does not, however, resolve the paradox that models reproduce the relationship between mantle helium and radiocarbon with a flux of helium-3 lower than is consistent with the heat leaving the mantle.