There were several posts of Topcoder SRM stating rewards for all the participants. There was also a 5$ prize. Did anyone even recieve it? How and where can I redeem it ? SRM 723 is one example where rewards were given.