I saw a pair of these today secondhand in a (traditionally expensive) optics store in Dublin. I had a look, just out of interest. Optically perfect, well-collimated. They seemed to have a bit of play in the focus-wheel. Asking price 700 euro. Is this particularly expensive?