I have also found that students have a much easier time with forcing after learning about ultraproducts (and Los theorem) and boolean valued forcing (even though technically, the modern version using partially ordered sets of 'conditions' is much more convenient). Then you can think of forcing as a way of taking a 'model' where properties of elements are described by 'boolean valued' probabilities and collapsing it to a bona fide set theoretic universe.
