Pyramid Audio will quote you a price of $1300 to replace just the power supply filter caps in a Levinson 33x series amplifier, so, yes, the quote you got is not unreasonable.
FWIW it took me the better part of a weekend to replace the damaged filter caps in my AR 100.2. The 8 caps cost less than $75... but there were parts in the way that had to be removed (and replaced) and some disassembly to get to the caps. There is no way I would have charged less than $1,000 parts and labor to do that job as it took a total of 6 hours start to finish, which does not include the time spent to plan the repair and catalog and order the parts.
It is more work than it appears.
FWIW it took me the better part of a weekend to replace the damaged filter caps in my AR 100.2. The 8 caps cost less than $75... but there were parts in the way that had to be removed (and replaced) and some disassembly to get to the caps. There is no way I would have charged less than $1,000 parts and labor to do that job as it took a total of 6 hours start to finish, which does not include the time spent to plan the repair and catalog and order the parts.
It is more work than it appears.