I paid $4000 for my Mix F5 used in 2013. Not sure what its resale value is now, but $5000 would certainly be tempting. I play 5 string now almost exclusively.
I gigged the Mix F5 for several years (the last gig it appeared in was in late 2018). There are a couple of bumps and I had to replace the tuners.
Daniel
Bookmarks