Personally I would make the replacement pulley/idler the same size as the original pump pulley so you can get replacement belts easier.
That's just the way I think though, because I want things to be reliable and easy to deal with later if/when needed.
Would it be reasonable to use the pulley off the pump and mount it as an idler?
