Ah HA! The manual I got seems to be considerably out of date compared to the
PDF manual that I just downloaded. The PDF has the sizes listed for the belts
(my printed one does not). There are other differences in the PDF compared to
my printed manual.

I love the internet! :)