https://www.openstreetmap.org/node/358810033

https://en.wikipedia.org/w/index.php?title=KRDC_(AM)&uselang=en#KRDC_(2017%E2%80%93Present) claims that they renamed from KDIS-AM - is it true? Is it applying also here?