One last question: would it be OK for me to use Super Record cups instead of Record Cups? The former seems more readily available and more discounted. Only difference that I can tell is the finish and that the SR cups use an oil (for the ceramic bearings) instead of grease, which I would replace, of course. Thanks.