Ingredients br br 12 lb (227g) elbow macaroni br 3 Tbsp butter br 3 Tbsp flour br 1 Tbsp powdered mustard br 3 c milk br 1 red onion finely chopped br 2 tsp Tabasco Pepper Sauce br 1 bay leaf br 12 tsp paprika br 1 large egg br 12 oz (340g) sharp cheddar, shredded br 1 tsp salt br Fresh black pepper br br Topping br br 3 tbsp butter br 1 c panko bread crumbs