I used the HRDS1 contact for awhile, but the clearance was VERY tight between the contact and the garage door track. Eventually, this clearance was just too tight and the contact snapped off when it hit the garage door track.
So… I bought some external contact from smarthome and they work beautifully with the HRDS1… I highly recommend the external contacts made specifically for this application.