Whining noise in engine

I think that he is probably on the right track.
However, getting a second opinion would be a good idea.
Perhaps only one of those two components actually needs to be replaced.
If you can replace just the belt tensioner you will save a whole heap of money.