This device template already existed in my 0710b3 DVD install. I have made some modifications to it that I consider substantial improvements. I'm not sure if my local changes sync back or not. Here is the lirc.conf file I changed to. It is not my original work, but I got it from
http://lirc.sourceforge.net/remotes/dishnet/Dish_Network. This lircd.conf file supports ALL 16 remote addresses on the 3.1IR remote that comes with MANY DishNetwork, Echostar and ExpressVu satellite receivers.
Or at least, here it would be if it didn't exceed the character limit and if the website would let me upload a file (get the error that it can't access the upload path).