Software models, being executable programs, have the potential of providing experimental apparatus. Experimentation with a model often provides insight and ocasionally uncovers model behavior which is counter-intuitive.