Best I can find searching that part number is, it's 10 1/8 or 10 3/8. Searched all kinds of sites for info. Don't think it would make any difference it's so small a difference in diameter.
Returned pm.