For the IR REmote app, what do you do if your tv is not available in the irremote database.
IR remote app
You can extend the list of supported devices by uploading codes or by composing your own remote using online wizard. Your uploaded codes can be downloaded directly from irRemote and ranked by other irRemote users.... Apparently, though how thats 'actually' done, I dunno but this might help if you know the pronto discrete codes.