I see, thanks.
BTW, both !Serial and !Serial.available() appear to produce the same results. I'll use your suggestion. Less typing, if no other reason.

best,
Michael