As answered to your post on the red forum, so folks who might be interested knows, the 85mm f1.2 goes for around $4K, while the 55mm f1.2 goes for around $9K.