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

    ₄4°Ÿʒ0å}ʒSO9Q

-2 bytes thanks to *@Emigna*.

[Try it online.](https://tio.run/##AR4A4f9vc2FiaWX//@KChDTCsMW4ypIww6V9ypJTTzlR//8)

**Explanation:**

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

    ₄4°Ÿ              # List in the range [1000,10000]
        ʒ  }          # Filter this list by:
         0å           #  The number contains a 0
            ʒ         # Filter the filtered list further by:
             SO9Q     #  The sum of its digits is exactly 9