Ordered the 702s. Should arrive tomorrow.
Couldn't quite justify the extra for the 712s whose main difference seems to be an artificial 3dB boost to the low end which would probably be a good thing given they're headphones.
But we'll see how these go.