Loaded Pulled Pork Totchos

Name: Loaded Pulled Pork Totchos
Ingredients: 1 (28 ounce) package frozen bite-size potato nuggets (such as Tater Tots®); salt to taste; 2.5 cups cooked pulled pork; 1 cup barbeque sauce; 0.25 cup sour cream; 0.5 teaspoon smoked paprika; 2 tablespoons unsalted butter; 1.5 tablespoons all-purpose flour; 2.5 cups milk; 5 ounces shredded white Cheddar cheese; salt and ground black pepper to taste; 1 cup canned pinto beans, drained; 0.5 cup chopped roasted red bell peppers; 1 tablespoon thinly sliced green onion; 1 teaspoon minced thyme