텍트로닉스 tds 200 제품 사용중인데 고장이 났습니다.

어떻게 하는게 좋을까요.

방안1. 수리한다. (40만원정도 예상함)

방안2. 새제품을 산다. (대략 350만원 예상)

방안3. 중고를 알아본다. (180~220만 예상)

방안4. 굳이 텍트로닉스가 아닌 다른 가성비 높은 업체룰 알아본다.

뭐가 좋을까요??????????

*방안4의 경우에는 업체명과 대략 가격 혹은 제품명좀 알려주세요.