I thought the original post said that I would announce the winner of the $5 Amazon.com Gift Card on the 15th of this month, but I actually said the 10th! So, I'm late. A bit.
The entrants were all entered into a spreadsheet, and then the random number generator at random.org was used to pick the winning row number. There were only 5 entrants, so the final odds of winning were 20%.