Thanks, Sean. I couldn't get 720 to work, but using your technique, I got 1080i to work. I guess that's just as good, or maybe even better, if the TV is better at converting to 720p than the receiver is.
BTW, do you have a computer hooked to your DLP using the VGA input? I was using DVI...