That lacer is for conveyor belting. You should be able to easily get your $900 if the right person sees it for sale. You need to make sure and advertise it is for up to 36 inch wide belts. People see Clipper lacer and think it is the small 6 inch ones you use in a vice. They bring $15-20 used.
You need to get it advertised in some publication that goes to rock/quarry companies