Ask HN: What would you do with $5000 in DigitalOcean credit?

DigitalOcean has recently updated their ToS such that any credits granted expire after 12 months. If you were credited $5000, what would you do with it?

Would you spin up servers for all of your friends? Would you try to sell the credit? Would you try to convert the raw computing power into a return? Would you be thankful you've got credit at all and be content with continuing to get $20 worth of hosting free for the next year?

What would you do?