For his career , he compiled a .143 batting average in 7 at-bats .
For his career , he had a .143 batting average in 7 at-bats .