As discussed in the other thread: I'd be much more enthusiastic if the discount would affect all the models and not only the top model with all options.
E.g. the 1GHz RTM3K with all options is sold for 10k€, it wouldn't seem totally unrealistic to sell the 500MHz model with fewer options (e.g. just memory and decoding options) for 5-6k€.
Yet, the 500MHz model RTM3K-54 without any options at all still costs 12k€ which is somewhat insane.