I'm teaching a darkroom photography class and our RC washer just gave out. It's been so long since I've needed to buy one that I'm not familiar with some of the brands. What are your opinions on the different washers available? I'm looking for something that can handle bulk washing and 11x14 and smaller prints. I've seen some yankee washers that look fine, but are they built to last?