I've seen all kinds of mandolins in old-time music. At my own jam there are several vintage Gibson A-styles and F-styles and a couple of other non-Gibson F-styles other than my own, and maybe some other stuff. I don't really pay much attention, and neither does anybody else.
Bookmarks