Hi again,
Firstly, I originally installed the Small Tree driver (SmallTreeIntel8259x-3.1.1.dmg), before seeing this thread, and it did not work. That is, no 10G network card could be found in System Information or Network preferences.
I now installed the SmallTreeIntel8259x.kext from your...