Ask HN: I have AWS credits – I want to sell them –or– how should I use them?

how can I generate some type of return on this $15,000 value? Googling around, some people have mentioned using them on https://hash-to-coins.com/, but I think I would barely get any value out of that.