Found one locally. Everything is in working order. It has BNC-style SDI and RGBHV inputs, with around 20k hours of use. Whats the most I should pay?