Did you know that bluegrass player and mandolin virtuoso David Harvey is Gibson 's master luthier , responsible for all their mandolins, banjos , and dobros ?