other LUCAS OIL PRODUCTS INC