Several Samsung printer models claim to understand PCL5c and PCL6c. Does anuyone here have any experience with any of these devices? -- JP