Following up on my own post, the voucher has arrived. Thanks for the advice and support.

BTW, the voucher is for one night at the Regal Airport (HKG) Hotel. Price is HK$868 which is as good as we've found. [someone will now post a better rate]

andrew