Update- the issue happened again today and I discovered the the horn sounds were not playing. The “regular” horn would sound, but not the other sounds (DJ, Fart, etc). I rebooted the system and it’s work now.
I did report the issue via service request (Wednesday), and I got a call from a tech...