トラスト (グレッディ) のセンサーアタッチメント。
定価は6,800円。
ヤフオクで約5,000円 (送料込み) だった。
L字型と延長用のアダプターはホームセンターでそれぞれ200円程度。