We analyse a probabilistic argument that gives a semi-random construction of a permutation code on n symbols with distance n-s, and a bound on the covering radius for sets of permutations in terms of a certain freuency parameter. This is joint work with Peter Keevash.