As far as whether they HAVE paid him anything, I haven't seen anything to that effect. My understanding was that they would pay him after they had boards made, assembled, working, and going out to customers.
Dont know how they made that
but on this thread you will find BKK post with thanks to TH
well they paid to him at least something for sure