If you're wondering what there is in the thin-air realm that might be worth paying that kind of dough, check this out. I have no interest in this instrument and don't know the person selling it, but Red Diamond mandolins are truly special. (I do have one -- the "July 9" voicing). A pro I know (you would know his name) jokes that the builder, Don Macrostie, as access to alien technology. These are easily $110,000 or $120,000 more affordable than a Loar. Are they worth what they cost? Oh yeah. I remember scoffing at the idea a mandolin could be worth even $1,000 ... until I played one and realized what the money got you in tone, playability, volume and workmanship.
https://www.mandolincafe.com/ads/152759#152759