It's a pain to get from inside the beltway to BWI.

United flies IAD-OKC direct, but once again, it may not be trivial to get to Dulles. Also it looks like a very expensive route (double the price of the 1-stop routes)

On American Airlines, he can do a platinum challenge. They have a ton of service DCA-DFW-OKC.