Guess, he had many, many inquiries for it. The US Dollar is so cheap
once you are paid in Euros or Pounds....
Cheers
Michael