I have an ASP pulley on the way and i want to order the belt for it soon. the only post i have seen that gives answers is sideways thread here For comptech https://www.s2ki.com/forums/index.php?showtopic=254159

Comptech:
4060400 Standard AP1
4060395 4.25inch
4060390
4060385 3.5 3.35inch
4060380 3.25inch
4060370 3.0 inch
can anyone verify that a 4.25" will use the 4060395? i dont want to get to the shop have them throw the pulley on/re-tune and have the belt be too big or small. please let me know. thanks.