AFAIK, the SDS1000X HD won't come before the Rigol promo ends.
We don't know pricing, but if the SDS2000X+ chinese prices are a good indicator, we could expect a western price of around 900+VAT for the 4-channel 100 MHz model.
The pricing changed recently in china I think, and the 70 and 100 MHz models are now closer in price.
In any case, even though it is generally accepted that either the 800HD or the 1000HD (or both) will come on Q1 2024, there is no official announcement nor proof about this.
Merry Christmas to you too!