Had this lens in my hand at the last Photokina and talked about it with a Zeiss rep. He *did* say the price point would be very steep, but I don't remember the number he gave. 4k does seem a bit too much, would have guessed ~2k.
Couldn't put it on a camera, but the sample shots they had looked incredible concerning sharpness, color reproduction and in particular edge performance.
We'll see

*Edit: I also remember him saying something like bringing medium-format standards to the 35mm world (and the accompanying prices, so maybe 4k is right after all).