There is one for sale in Europe at the moment, full set inc. original invoice.
German first delivery, so with that very special box :
https://www.youtube.com/watch?v=zXkopfhThmg
4500 euro, no affiliation, don't know the seller, its on a Dutch watch forum.
https://www.horlogeforum.nl/t/tk-sei...pex-set/242300