She still woke up during the night and whined a bit, but she quickly settled after 2-3 minutes. That's usually my gauge for whether I have to actually roll off the couch and take her outside. If she whines longer than that, up to 5 mins or more (if I'm really tired!), I know it's Serious Business.
We'll see if that continues tonight. :-)