u/ImaginationReady9937

I was driving down the highway and suddenly the AC isn't cold. I popped the hood and pulled over. When the AC button is turned on, there is a semi high pitch coming from the hood. The belt still seems to be intact. I did notice a bit of a burning smell but maybe that was something else on the road nearby and could have been in my head. How much is this going to cost at a shop and is it worth it? Is it the compressor? I am scheduled to have the timing belt changed Wednesday anyway, so maybe this was good luck to have that go out at the same time if I could save on labor. Thanks for any help