# [Japt], 20 bytes

    A³ò#〈 ms f_¬x ¥9©Zø0

----

    A³ò#〈 ms f_¬x ¥9©Zø0		Full program
    A³ò#〈					Range from [1000 9001)
         ms					Convert to string
         	f_ 				Filter values that
         	  ¬x ¥9 		Sum equal to 9 
         	       ©Zø0 	And contains at least one 0

[Try it online!][TIO-jnadtky1]

[Japt]: https://github.com/ETHproductions/japt
[TIO-jnadtky1]: https://tio.run/##ASQA2/9qYXB0//9BwrPDsiPijKkgbXMgZl/CrHggwqU5wqlaw7gw//8 "Japt – Try It Online"