I was a bit surprised as I thought they may just return me any old repaired board but it was actually the same board I sent out there. I recorded the board serial number before it went and the same board came back Smiley I did have to mail them quite a few times for status updates and the were a bit slow replying to mails.
It cost me £18 to ship to the US $175 for the repair, $25 for the postage US to UK and then, the real stinger, £46 import duty.
When the board came back from Bitmain Warranty I had a good look at it and there were no signs of anything being done! Having said that when I took it out the miner there was no sign of any issues.
I now have 2 boards that have stopped functioning, (from my other S9) both power up but show a shorter than normal ASIC status list of 0000 0000 in the miner status web page.
I have switched around control and power cables, but all attempts result in the same display output.
I was just about to send them off to Bitmain Warranty (strangely re-branded as myRig.com, I guess the real Bitmain objected to the use of their name?)
Are you still fixing boards? PM me.