Sorry I have not heard of anyone. Though Mantis is one of the most popular Chinese styles here in the US, it remians difficult to find schools especially in the middle of the country.
If she is willing to travel she could hook up with some of us, but I know of no one in OK.

Jake