We had some challenges with the testing, and the first issue was that I didn't have a Ronchi eyepiece that would not only fit into the scope's 1.25" diagonal but also have a short enough barrel to make up for the scope's limited amount of back focus. This scope has a built-in diagonal with a flip mirror, so that a 1.25" eyepiece can be placed in the diagonal, or alternatively a camera (with the correct adapter, which we didn't have) can be placed directly into the back of the scope for use in straight-through configuration. And we found that the threaded opening on the back of the scope was less than 1.25" in diameter, so my 2" to 1.25" step-down adapter didn't fit. The best I could do was hold my 2" Ronchi eyepiece up to the visual back with one hand and use my other hand to hold a camera. This may have led to some alignment error, but I think that the alignment error was likely quite minimal as I was able to obtain round images rather than oblong images after multiple attempts to take the pictures.
The other issue was that my son had to adjust the focuser while my two hands were otherwise occupied, so I can't guarantee that the images that I believe were intra-focal and extra-focal were exactly the way that I labeled them here.
We attempted to redo the images just to make sure that we had taken the images correctly but at that point the flip mirror became dislocated from its plastic backing, and that halted any further testing efforts. This issue required some minor surgery to repair. My son performed that repair later in the night, regluing the mirror to its backing, and then we allowed the scope to sit for two days to make sure that the glue had adequate time to dry. And then I got busy with work, so we didn't have time to redo the testing process. Hopefully we'll be able to try that again later in the coming week.