Is a Harmon Kardon 825 and 870 worth selling?

I recently bought a Plinius 8100, and now have 15 year old Harmon Kardon pieces. Does anyone have a ballpark idea what they are worth? The preamp is the hk825, and the amp is a 100w hk870. Thanks for any input.
Bernie