Having a garage door redone. Can't seem to find a simple link or something to forward to my contractor to show which garage door openers will work well with Tesla. I understand that Homelink is supposed to work but I keep seeing posts where some work and some don't. Is there a definitive list somewhere? Thanks.