IR codes for Humax TNTSAT decoder TN8000HD

I recently registered my satellite decoder with the remote 3. Very straight forward. There was a similar thread from the UK, looks to be similar boxes. Decided to attach a CSV people can use directely if they want to. There was an issue with the power on/off command as 4 is used to power on and 0 to power off, corrected in the commands below. I hope this is useful to anyone.

Save the content below as a CSV file so you can upload it directly to the remote.

“key”,“format”,“code”
“power”,“HEX”,“3;0x800FF;32;4”
“ok”,“HEX”,“3;0x8C837;32;0”
“left”,“HEX”,“3;0x848B7;32;0”
“right”,“HEX”,“3;0x828D7;32;0”
“up”,“HEX”,“3;0x88877;32;0”
“down”,“HEX”,“3;0x8A857;32;0”
“menu”,“HEX”,“3;0x8708F;32;0”
“back”,“HEX”,“3;0x8827D;32;0”
“CHANNEL_UP”,“HEX”,“3;0x808F7;32;0”
“CHANNEL_DOWN”,“HEX”,“3;0x8F00F;32;0”
“exit”,“HEX”,“3;0x86897;32;0”
“red”,“HEX”,“3;0x838C7;32;0”
“green”,“HEX”,“3;0x8B847;32;0”
“yellow”,“HEX”,“3;0x858A7;32;0”
“blue”,“HEX”,“3;0x87887;32;0”
“guide”,“HEX”,“3;0x8D827;32;0”
“list”,“HEX”,“3;0x8B24D;32;0”
“text”,“HEX”,“3;0x87689;32;0”
“opt+”,“HEX”,“3;0x842BD;32;0”
“info”,“HEX”,“3;0x8C23D;32;0”
“sub”,“HEX”,“3;0x8629D;32;0”
“stop”,“HEX”,“3;0x8C639;32;0”
“rewind”,“HEX”,“3;0x8A659;32;0”
“forward”,“HEX”,“3;0x826D9;32;0”
“PLAY_PAUSE”,“HEX”,“3;0x806F9;32;0”
“record”,“HEX”,“3;0x88679;32;0”
“audio”,“HEX”,“3;0x8A25D;32;0”
“tv_radio”,“HEX”,“3;0x8B04F;32;0”
“VOL_UP”,“HEX”,“3;0x8F807;32;0”
“VOL_DOWN”,“HEX”,“3;0x802FD;32;0”
“recordings”,“HEX”,“3;0x8F609;32;0”
“mute”,“HEX”,“3;0x818E7;32;0”
“power_off”,“HEX”,“3;0x800FF;32;0”