Yes, it is now showing up. When I first received the email a couple of days ago, it was the usual 187, without a 50% off code. At that point it seemed there was no discount for 8.5 users, though maybe it was an issue on my cache or something?
Got there in the end. This is good news! Thanks Steinberg and for replying.
Bought!