I appreciate that he had sympathy, but I think max he can do is refund $25. I think that that amount is the least of concern to the most developers.
I am getting a kick out of all the people here saying that "no one pays for extensions". I've consistently made $50-100 from mine with no marketing whatsoever.