I heard a rumor that the ricoh sp5100n laser printer maybe a re-badged Samsung, anyone have any info on this?