....you paid less than I did 3 years ago.
I spent approximately $950 to have the same thing done to the Volvo, at the dealer, in 2002 at 338,000 mi. At the time, I lived in Dallas, and couldn't find anyone but the dealer to stoop so low as to work on a diesel Volvo. I have a receipt from the previous owner of the same thing being done in 1993 at 190,000 mi. for $720 at the dealer.
At least you won't have to worry about the clutch for a while.
Take care...