VALUE: JBL Performance AV1 pre-amp and AVA7 amp

I have a JBL Performance Series AV1 pre-amp, and a AVA7 amp that I am thinking about selling. Any idea on what the values of them are? Everything works. I do not have the boxes, but I should have the user manual for the AV1 somewhere.

I bought them from Tweeter a while back. I want to say the AV1 MSRP was around $3500 and the AVA7 MSRP was around $5000? Does that sound right?

Thanks for any insight!
It must be a "long while" back as Tweeter has been out of business for many, many years.