Correct me if I'm wrong: there's no receiver built into the VX for the option button? I assume the receiver comes with the garage door opener kit....