I'm positive about the model. There are two plaques with the White-Westinghouse logo on the refrigerator, stating the model, the refrigerator's serial number, specifications regarding the electrical system and so on. The only thing missing is the compartment's size.
I've tried searching the web before posting the question, but without success. I thought about measuring it myself, and it looks like I'll have to do that.