Does anyone have any pricing information on the Korg DL8000R, or any idea as to when it is supposed to come onto the general market?