Shipping 1 machine to USA cost over 1000euro, so for sure it was never sent back to USA.
After all the mess, I know Thomas had few machines left in Europe. I gave me a list I published here but nobody never took them.
Some people also alerted me about machines for sale in USA that were his.
I guess we will never know...