Probably going to take about 4 hours, if your mechanic has done it before. It can be done a little quicker, but 4 hours is realistic. Now all you need to know is his labor rate. The pump will run about $30 and the belt will run between $30 and $50 depending on the quality you choose.