I don't know if there are any real dice that are 9 sided. There is probably digital dice that are nine sided. But you could always roll an 8 sided and 10 sided and then just divide the number by 2.
If you roll an 8 and a 10. Divide by 2 you get 9.
If you roll two 1s and divide by 2 you get 1...
https://www.onlycrits.com?sca_ref=3061801.zWoihRlfjl
Has a wide assortment of dice.
They have: hollow dice, stone dice, metal dice, dice with things inside, dice sets, and sharp edge dice.
In fact I even found a 100 sided die on the site...