I finally got my act together and installed it. It took around 1.5 hours to finish it, taking my time and everything. Couple things I want to add compare to what the OP said
1. The two bolts from my brace weren’t on that tight. I got them out pretty easily. Of course every bolt on my car is a little loose, tesla QA....
2. The way I dealt with the washer problem. I placed the nut on a 10mm socket and set it aside. I then slip the washer on, holding it with my other hand. I go back to the socket and move it under the washer. It ended up not being bad at all.
3. I didn’t need any special wrench to tighten the adjuster. I just took a short 13mm wrench and hit it from the battery side. Just turn it sideways a little and it should be okay.
4. I took a quick test drive. It did what it was supposed to and gave me a pedal with less travel. If that’s what you are looking for, this is perfect. If you want the car to stop faster, get pads.