Texas Diner is an American restaurant.