Yes the answers are correct! When using Maschkne mk3 as your audio interface you can actually set that as the audio device type instead of windows audio. Then you’re using the Maschine mk3 Asio driver.
This should install automatically when installing machine through Native Access software.
And otherwise the driver for the device is somewhere on this page https://www.native-instruments.com/en/support/downloads/drivers-other-files/