This is a matter of dividing the universe several times, first into whether the new unit responds to the old remote, then etc etc as below.

First, plan this out in advance. When the new box arrives, you want to convince the installer that you have to check out some things. Maybe tell him that you might not actually accept the product if it does not pass muster....

Take the new box and install it in place of the old one. Try controlling it with the old and the new remote controls; this will tell you if you should expect your Pronto to be able to control it.

Then, if both will control it, try the Pronto without the Red Eye. If it controls it, then you have that answer.

If it does not control it, use the Red Eye that you already have, and see if it works through that.

This will tell you everything.

If the old remote will not control it, then you will have to learn a few new commands in your Pronto, then try them out, so get a new device page ready with some blank commands.

Is there any chance that the new receiver, if it has to use a Red Eye, can simply be installed where the old one is, and the old one moved to the new location? This would make it easier on the installer, but only a bit, if he would go along with you.

Good luck.