Thanks Ed, I sent him a PM.
Price would need some negotiation. I can have a new one in my hands for about $3000 from RCJapan.