...
Yes, belts stretch (and, having stretched glaze) w/ time...
The owner's manual will provide the correct size (both cross section and length) although unless the present ones are badly deteriorated you should be able to read the size code off the belt. Any decent-sized auto supply should be able to match it, assuming it isn't some special cross section...