Generate a random number 10% of the time, otherwise generate 0

In Python I would like to create a distribution that picks a random number between 5 and 10, 10% of the time. The other 90% of the time, I would like it to pick zero.

I would like to sample 10,000 numbers.