It's just because it's only the crucial pro stuff that has been stocked here so far.
Looking elsewhere there is stuff from corsair and team group in 6400c32 and 7200c36 available, which I assume ocuk will get in before long.
As for performance I'd imagine quite a bit of difference, although less so on x3D chips