System event key codes not working on thunderbolt display
Did you try key code 113 using control down? Pressing the brightness keys while holding control normally changes the brightness of a Thunderbolt Display, but I don't know if it works with keys like F15.

You can also use brightness.c to change the brightness of different displays:

do shell script "~/bin/brightness -d 1 0.0"