So the price dropped to 8999 just before the weekend and I ordered one and they messaged me and said it's a mistake but then I needed another one of these for my computer cluster so I transferred over another 6000.
They have a few of these in stock but they're not boxed units, this is the photo they sent:
View attachment 221113
It was packed in two kinds of bubble wrap and arrived today. A quick power on-test shows it's on BIOS C04:
View attachment 221114
Since they're not retail boxed units, they were probably meant for system integrators and are probably the last stock anywhere right now.
At 15k the only deciding factor is the mini-ITX size, there are better options for more performance, through 16 threads is not very likely.