Thank you all. I checked asiamiles.com and it seemed like miles can be redeemed for gadgets at about 0.3-0.4 cent (USD) per mile (20K miles can be redeemed for something like $60-$80). Does that sound about right?
Charity donations are also available but seemed hard to value. I might go with that route.