Many people have been reporting problems with early 2000s Kenmore front-loaders around 2005-2006, so yours had a longer life than many. A machine you would buy today would be designed differently, so no reason to exclude Kenmore completely.
Anyway, getting back to your question, Kenmore 417.4004299 is a 3.1 cu. ft. washer, not 4. The capacity isn't straight-coded into their part numbers.
By the way, the same machine was sold under the names of Kenmore, Electrolux, Frigidaire, Tappan, White-Westinghouse, Gibson and Kelvinator (it's actually made by Kelvinator - manuf. code 417). So, if you are trying to avoid the maker of your old machine, you'll need to expand the list :)