The microphone and DAC share the only I2S interface on the Raspberry Pi, so I wanted to verify that both could work (be installed at least) at the same time. I've connected everything up and verified that I can record audio with the microphone and play it back with the DAC. Unfortunately the DAC is line level and not loud enough, so it will be replaced with a 3W amplifier + DAC that is on order.