# Proper Model Category

Let R be a commuative ring. Consider the category of simplicial R-modules with the projective model stucture. Can someone give me a precise reference which proves that this model category is proper? Having a reference which proves other nice properties of this model category would also be good.