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 HJB 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.