Old belt is a Gates 1340 - which seems to be 3L340 belt. It's obviously non critical to change and also easy enough to change.
Any reason not to get the cheap generic belt off eBay for $4.26, or should I get a Dayco 3L340 off rock Auto for $7.01???
Is the Dayco belt made in USA or anything...