On page 16 of the newest manual (the incomplete one) the author says that "I would recommend adding a #4 star lock washer in addition to thread locker when you perform the installation." when talking about installing the stepper motors. Which size and brand should I buy? I am not sure what to get as there are many kinds of these washers.

