We have tried to keep the paper as self-contained as possible: we hope the main part of the paper will be accessible to someone with the equivalent of a first course in operator K-theory. In particular, we do not assume prior knowledge of controlled K-theory, and use a new and concrete model for the Baum-Connes conjecture with coefficients that requires no bivariant K-theory to set up.