$188 for the belt for 25000 miles -holy cow! How about $70 for premium quality Japanese X-ring chain for 50000-70000 miles?
https://www.ebay.com/itm/EK-Chain-80...8AAOSwnOJWFA4p
I would go with OEM.
$150 @ New Castle
https://shop.newcastlehd.com/part/g05001akf