"Billy Lee Boomer, a gas station attendant from Penny Box, Texas,"