A quick questions. I see from the user manual of the NXP chip used on the Teensy4 that it actually has 3 I2S modules. The specs for the Teensy 4.0 states only 2 I2S are broken out. I assume that if desired the MCU internal mux can be re-programmed to allow access to all three I2S modules?

Would be helpful if this where confirmed.
Many thanks