Before revision:  To solve the  variational inequality and prove optimality, we show new results of independent interest on constructive approximations and Laplace transforms of the inverse local times for diffusions reflected at elastic boundaries.
After revision:  To solve the variational inequality and prove optimality, we need a combination of probabilistic arguments and calculus of variations methods, involving Laplace transforms of the inverse local times for diffusions reflected at elastic boundaries.