The kit is absolutely mint and comes with all appropriate boxes, pouch, caps, and owner manual.
Price is $1,800
The 35mm F/3.5 Zeiss ultra wide is in excellent condition (9) and comes with front and rear caps, no box.
Price is $2,000
The 140mm F/2.8 Ziess Telephoto is mint and comes with front and rear caps, no box.
Price is $900
Can supply photos if requested. I live in So Cal.