just this post at gearslutz made me think you’d already decided on the nagra.
https://gearspace.com/board/studio-stage-mobile-amp-location-equipment/1371721-nagra-vii-sonosax-iphone.html#post15838518
Those were different days, and I ended up not doing anything! Also, my requirements now are slightly different - I think then I was looking to record different stuff.
My mind is very hazy, but I have a feeling the Nagra 7 was quite a bit cheaper then than it is now. I semi-remembered it being somewhere in the mid to high £2000's, but it's now around £4800 for the basic model. The 70th anniversary edition is about £6700.
I'm currently looking for something a fair bit less expensive! I need to concentrate on my playing and singing, plus purchase mics, room treatment, and also work on mic placement before it makes sense to buy the Nagra. If I end up happy with my results using a cheaper recorder then I would consider splashing out...