Mines show overfull at 4.8 qt, and that is what the manual calls for.Thats not too bad actually. Dump 5 in and it should go the full 10k, I noticed mine does show overfull with 5–I was kinda surprised at at how overfull it is.
Really wish OEM’s would figure out how to make ‘em use round numbers of quarts…