is the JDM k24 rbb main pulley larger than the usdm k24a2 main pulley ?

I have a jdm 3 lobe rbb K24 in my ae86 and im running a k tuned water pump bracket / alt bracket. the belt isnt long enough to reach my alternator pulley. yes i did swap pulley's and k tuned pretty much said "oh you need a '99 crv alt" which i have, they said they came in different variants and you have to order a remain and cross your fingers you get the right one. LOL WUT.
so im thinking my main pulley might be larger than the USDM main pulley? if not, guess i need to order a different alt...

edit: yes i did try searching differences in jdm k24 vs usdm k24 but i couldnt find anything about the main pulley size

 

I'm in the exact same situation w jdm k24 and k tuned water pump belt 7PK0828

 

so i got a USDM k24 front main pulley and im good to go! it's slightly smaller and works perfect with the k Tuned alt bracket. thanks for the post and reminding me to update this, hopefully someone can use it in the future