pgf

For the record, the wrench for both the original needle nut, and the presser foot nut, is 9/32". 7mm works fine as well.
I agree that it looks like someone tried to "make do" with something other than the original nut.

paul