On Approximating Optimal Weighted Lobbying, and Frequency of Correctness Versus Average-Case Polynomial Time