Placing shotcrete for the first-ever Mexican Soccer Hall of Fame.