I have posted a couple pictures for a friend who is trying to find out what the brand of his mandolin is. Any help would be greatly appreciated.