Christmas Cauliflower

Yield:	8 Servings
Categories:	Vegetables

1	lg	Head cauliflower; broken into florets
1 1/4	c	Diced green pepper
1		Jar sliced mushrooms; (7.3 ounces) drained
1/4	c	Butter or margarine
1/3	c	All-purpose flour
2	c	Milk
1	c	Shredded Swiss cheese; (4 ounces)
2	tb	Diced pimientos
1	ts	Salt
		Paprika; optional