Marina Bay Sands voucher ◦ June 2023.