It's in the TX802-SYSEX.pdf document, somewhere in the Files section.
Look under:
1. Parameter Change
1.7 Remote Switch Parameter Change
and
Table? 4 - Remote Switch Parameter Change
(on page 8) - which gives the actual values to send for each button.