. . . "Pine Grove is an unincorporated community in Henderson County, located in the U.S. state of Texas."@en . "128.016"^^ . . "Pine Grove, Texas"@en . "-5" . "-6" . "430, 903" . .