hp프린터?

hp프린터 A3레이저프린터
hp-5100, hp-5100LE, hp-5100SE
중 하나를 선택하려고 하는데…
뭐가 좋을까요?
A3 캐드도면 출력용(펜두께 지원되는걸로)으로 사용하려고 합니다.

가격이 차이가 나는데…..
이 제품들 차이점은 뭔가요?

님들이 추천좀 해 주세요.

그리고 중고로 A3캐드도면 출력(펜두께 지원되는걸로)용으로
제품명으로 추천좀 해주세용?