With the 1000 remote included, this would put the 9000 at $400 USD. It would have to be shipped and seller seems knowledgeable on how to pack it securely. i have read most all threads here on this piece, and know the repair issues, but wonder what they sell for in the US. They are not up for sale often where I can see.
Thanks.