Craftsman's garage door opener has quite a bit of online feedback, but do reviewers think it's worth buying, or are there better options out there?