Why is one interested in the mod p reduction of modular curves Shimura varieties?

From an article I learned that this can be used to prove the Eichler-Shimura relation which in turn proves the Hasse-Weil conjecture for modular curves. Are there similar applications for Shimura varieties?