When the bearing in the smooth pulley started whining, I decided to replace both it and the ribbed one as well. The problem I ran into was that while everyone listed and stocked the smooth pully, no one stocked (some did not even list) the ribbed one.
At the fourth place I stopped, after failing again to even list the ribbed pulley, one of the more experienced clerks took it and disappeared into the back. About 5 min later he reappeared with a match. He had gone back and started going though boxes until he found the right one.
I never found out what applications the new ribbed pulley was listed for, but like he said, many manufactures use the same ones.
It was all for nothing as three months later, the tensioner broke, an I ended up buing a new one - that of course - only came with new pulleys. At least now I have a couple "low mileage" spares.