Ask HN: How to spend extra $10k on Google Cloud?

My startup received $10k Google Cloud credits that we have not been able to spend and they expire at the end of January 2021. What are the best options to spend those credits?

Here are some options I have thought about.

1. Sell the credits?

   - May need to look into legalities.
   
   - Where to sell such credits?

2. Donate the credits?

   - Need to look into legalities.
  
   - Where to donate the credits?
   
   - Is there any tax advantage to this?

3. Lend the compute power?

   - Is there a marketplace for this?