You're right. I edited the subject to reflect that. They had the whole line of Gibson mandolins, including the mandobass, on display in the museum. If I remember correctly, they had a bench from the Gibson factory as well as a bunch of molds and tools.
It's been almost 10 years since I've been there. My folks live about 40 minutes away so I should stop there again sometime and refresh my memory.