.
Machining a sleeve shouldn't be difficult.
What width and diameter is the stock water pump pulley ? (exact diameter - measure with a dial caliper)
What material is the stock pulley made of ?
Will the belt tensioner have enough travel left to make up the difference without changing another pulley diameter ?
>