Are IME counts updated on a continuous round robin with an OS tick, or are they updated on demand?
See this.
https://vexforum.com/t/ime-update-rates/29441/1
In addition, each IME is polled in turn, so with 4 IMEs each will be polled approximately every 4mS.