That sounds depressingly like it's right. (And honestly, trying to remove the contact lens that wasn't there - I did Not Nice things to my eye myself, and Wife wound up pouring in eye drops because it was looking ominously red. Fortunately, no harm done.)