Yeah, selling stolen game consoles around Christmastime is a good (if illegal) way to make money. It's no surprise that a thief would specifically target your PS3. Sorry for your loss