We've been offered this machine for 4.5K, refurbished. Anyone know how old it would be? Is this a reasonable price or too high? And is it the same machine as the Ricoh Oficio 5002? Thanks!