The author considers nonconvex optimal control problems for general strongly monotone variational inequalities. The main result of the paper is the construction of necessary conditions of optimality. In the derivation of these conditions the problem is penalized; using variational tools as Ekeland's principle, the lopsided minimax theorem and a generalized Palais-Smale condition, the approximations are shown to converge, whence the desired result is established.