FYI if you didn't know - even if it is widely known I have not known about super basic features hidden behind UI - you can use hot corners to lock screen very quickly. I use bottom right corner.