I now thee could be a lot of variables but if someone could tell me what size they have used i was going to get one and make a bracket o fit that size belt.
make the edc fit your truck properly and then get the belt. its the easiest way for sure there are belts in pretty well every size so you should be ok if there isnt something the exact size you need there will be something close enough that your tensioner will do its job.