Has anyone figured out how to make the sentry big remote work with DirecTV?

It nay not be possible. The Sentry may not have the DirecTV codes stored in it. You'd probably be better off trying to get the Direct remote set up to take its place.