We have a Kodak DesignJet 5542. It's basically a rebranded HP DesignJet 5500. However, our carriage belt has completely worn out, and I need to order a new one. Does anybody know which model of HP printer it is? The HP Designjet 5500/Q1251A? It says Q1251Z on it... but HP doesn't know of...