Actually... that's the listing I bought mine from.
They ship parts very professionally, and they're even polite in declining offers.
View attachment 295381
Don't forget that you can (entirely through software) flash these MI25s to WX9100s (to get full use of its one mDP port).
Note: The MI25s have a very aggressive PPT and a max voltage of 1250mv set. You'll be wanting to blast as much air through it as you can as you test and tweak it.
There is no understating how much air this thing needs.
There is a very technically-capable user on the level1 forums and youtube that will say that using a clip-on flashing tool over RS232 or USB is the best way. He might be right, but it's not the only way.
I forget the details, but it was not hard to flash mine using software and vBIOSs entirely off TechPowerUp.