The Compact Primes are good lenses. $4,000 apiece seems a bit much, yes, but they don't have to cost that much. I've got a complete set of 'em, all 7 from 18 to 85mm, in PL mount. I don't use them anymore, so they're just sitting; I'd sell them for $15k for the whole set.
This is an excellent deal. Someone should take it.
I will be the renegade here and say, that even though they may be considered the bottom of the line for cinema, no other set allows you to so easily switch back and forthe between PL and EF mounts for instance. Further they are one of the few sets that guarantee coverage at all sensor sizes and that is invaluable as sensors evolve. They alslo have great and accurate distance markings - better than most, even ultraprimes. Lastly, I own a set of 6 and some of the are stellar. The 15mm, 21mm and 35mm are really excellent.