Rhonda K, you’re welcome! Your machine sounds like a great tool.
The manuals I have made are not binder size. I trim them down to be closer to the size of the original manuals. I have a vintage 3-hole punch with adjustable hole distances, so my three-hole pages are all custom. The smaller manuals can fit in a sealed gallon Ziploc bag for protection when being stored. The machines with these manuals are mainly for guests when I do little home workshops in making tote bags (-not since the pandemic).
Fortunately, I have original manuals for my main machines which are my Bernina 1031, my Bernina 830E Record, and recently, my Bernina 1030. My 1031 was missing its manual when I bought it. I made a copy and kept shopping for an original. My sister liked my Bernina 1031 machine so well, that I found one for her. The seller of that 1031 had two manuals. So, I got an original manual for my 1031 machine as a bonus! An amazing lucky coincidence!