Boone (6'4", 325) will be starting in place of Washington (6'5", 365), so they'll still be able to handle the run. What Boone gives up in size, he makes up with more speed and quickess. Don't forget that Big Wash went down in the first quarter and Boone played almost the entire game, and they still shut down ATL (for the most part). I'd go with Thomas.
Don't even think about playing Henry vs. Denver's great run D.