I guess I was trying to avoid something like this (Rhino Out of Memory) although mine is not technically a duplicate. 
I have also tried rebooting, yes, I assume the other issue might be with my laptop being now about 6 years old and giving up on me, although it generally seems to work just fine!