Texas Grits - cooking recipe

Ingredients

1 1/2 cup grits
6 cups water
3 eggs beaten
1 1/2 sticks margarine
1 pound grated Velveeta
2 teaspoons salt
3 teaspoons savor salt
Dash Tabasco Sauce
Dash paprika
1 can green chilies (hot or mild)

Preparation

Bring water to boil.
Do not add salt to water.
Add grits and cook until done.
Beat eggs and add remaining ingredients to hot grits.
Stir well until cheese and margarine are melted.
Put in large baking dish and bake 1 hour at 250.