#[05AB1E](https://github.com/Adriandmen/05AB1E/wiki/Commands), 15 [bytes](https://github.com/Adriandmen/05AB1E/wiki/Codepage)

    ₄DT*ŸʒD0åsSO9Q*

[Try it online.](https://tio.run/##yy9OTMpM/f//UVOLS4jW0R2nJrkYHF5aHOxvGaj1/z8A)

**Explanation:**

<!-- language-all: lang-python -->

    ₄DT*Ÿ              # List in the range [1000,10000]
         ʒ             # Filter this list by:
          D0å          #  The number contains a 0
                  *    #  And
             sSO9Q     #  The sum of its digits is exactly 9