bear in mind one factor to keep in mind with the korg pricing will be the optional mp3 encoder and video interface to give the same general overall functionality as the 7k, this will bump the price up.
regards.