That’s not unusual. The Rock and Roll Hall of Fame enshrined musicians a dozen years before a physical location opened in Cleveland in 1995, and the National Baseball Hall of Fame honored top ballplayers six years before it got a building.