We scoffed and laughed when the first one was priced at 20k. Now several have sold in the low 20ks. As far as I know the one recently listed for 30k sold (? final price).
Hard for me to imagine there is someone who would spend 35k for any pin but it certainly will be an interesting thread to follow. Personally I feel any of us have the right to ask whatever we want for a machine. As others have said if you don’t think it’s worth the asking price don’t buy it.