Thanks for the reply MisterX. A couple comments...
The nominal length of the spring can be ignored as this is an oscillatory system (and as long as the stiffness is the same, the response will be the same, regardless of length).
Also, I am seeing the force on m2 (not m1), which is defined...