would this be the correct type of cable? https://www.amazon.com/Genuine-BLTouch-Extension-SM-EX-1000-ANTCLABS/dp/B07HJD43MD/ref=sr_1_3?dchild=1&keywords=bl+touch+wire+extension&qid=1587146670&sr=8-3&swrs=88F280A8638BB93D59491FD63790FF95 thank you for the info!