I've got a player in a game that often argues with the DM / Me - she tries to make every turn count and be super efficient and to do a million things in one turn. When I override any of the obscure mechanics with a simple "that works or doesn't work" she will often argue the specifics.
I've talked to her and told her that this game in particular is not super combat heavy and not super important on mix/maxing specs. She's very into the character and the role play, and the other players like her. But she's constantly frustrating to DM with her rules-lawyer vibes. I've already explained it a few times and she continues to do so. Time to boot her or what else can I do?