I don't know if this player fits your needs as far as the HDTV goes,
but, the JVC XV-NP10S will definitely play your X-Vids as it does a fine job on all of mine. You can find it here:
I can't believe how expensive this thing has gotten. I got mine at BestBuy around June of this year for not over $80. I am kind of surprised that there aren't more DivX/XviD players out there. I guess they must figure that everybody wants to watch these on their PCs. Not me. Now I only wish I could find one that can handle WMV. I guess there's no chance of Scrooge (Microsoft) giving us that for a Christmas present.