Thanks for all the help, as always!
Local "Yellow Ticket" store (as my kids call it) didn't have any 3808ci in stock any more since it's an older model, so they dropped $300 off the new 4310ci (which is right in line with what I'm seeing it go for online right now) with 3yrs no interest.
So, I'm the proud new owner of the HD capable 4310ci. Got it setup tonight, and it sounds great already, plus it seems to do a pretty good job scaling my stuff to 1080p (more testing will need to be done).
It sure has a lot more options than the 3802 had in terms of matrix sound, etc. and was very easy to setup. Plus, I watched Iron Man with DoblyDigital TrueHD tonight. Very good stuff.