Did they give you an electronic travel certificate? I'm trying to figure out how they work and can be redeemed. Is it correct to assume that you can redeem it if you know the certificate number and PIN?