The Cervelos are one-off prototypes. Only ones of their kind.
Crazy! I am a former cycling champion, from many, many years ago. I also had a very large collection of vintage bicycles which I have mostly sold now. I think the pawn show memes tell the tale. They are worth quite a bit to the eye of the beholder as two wheeled jewelry but it is doubtful they would get anything near $80,000 under normal circumstances. And they are unsellable since they are all one of a kind.