80mm Jaeger instruments - spares or repair