Yeah, Mountain Lions are nasty things.
If you think you'll be seeing more of them for a while I would reccommend getting a big smart dog. They'll sense the lion, and the lion will leave. ML's and bears were common where I grew up, but the ML's never approached while a dog was around because it spoiled their edge. Bears on the other hand? I've been too close for comfort too many times.