We have a file in the JP1 world for the Coolsat 4000 but I don't know if the 5000 uses the same code or not.

The 4000 code uses the NEC1 protocol with a device code of 1, which matches several OFA setup codes, but I would need to know which remote you are using in order to know which setup codes might be in your remote.

Picking some common OFA remotes, here are some of the matching setup codes...

DVD/0711
URC-8811
URC-8910
URC-7562 B01

TV/0717
URC-9960 B00

Using either of these two setup codes, the POWER button should work. If it does, check the rest of the buttons to see if any of them do the right thing, then use the advanced codes listed below for the rest of the buttons:

054 num 0
185 num 1
183 num 2
182 num 3
180 num 4
184 num 5
186 num 6
053 num 7
055 num 8
059 num 9
248 (blue)
167 (yellow)
187 mute
246 page up
056 page down
181 power
117 menu
245 guide
249 info
121 exit
120 up arrow/ +ch
118 down arrow/ -ch
116 left arrow/ -vol
122 right arrow/ +vol
119 ok
123 sat
052 tv/radio
170 recall
169 audio
247 pause