A Gibson A5 just hit the classifieds at $2500. I think that's more in line with what it might be worth.
https://www.mandolincafe.com/ads/144128#144128
Click image for larger version. 

Name:	144128.jpg 
Views:	6 
Size:	26.7 KB 
ID:	179727