Yes, I also have similar impressions about the HEK(v1) and Z1R, but it was the HEK(v1) that sounded harder in the mids than my 007 Mk1. Need to check out the HEKv2.
Anyway it is the Z1R that is more appealing: even though it's a "view" over music, in some sort of DSP'd fashion perhaps, it is quite pleasant, while feeling less colored than say the stock TH900. A comparison with my modded TH900 is overdue.
However, based on these impressions my 007 Mk1 is still a keeper. Perhaps will try a new 009 again, allegedly they got better silently - but this is a rumor tendency with all high end headphones that have received some critiques, so I am reluctant betting money on it, once I am happy with the modded 007 Mk1. The thought itching me is to try the 009 with 007 cables or "lower" purely copper cables... I've heard that actually may improve their sound. Again, too expensive to just buy and try, besides, cable change on Stax is likely not a trivial thing.