I picked up a "demo" Jet Driver for cheap from Ebay, and it is pretty nice. I noticed a couple of things. One, mine has a battery cover that says "Maxon" on it, but the pedal is made in China (does yours say Maxon or Ibanez on the back of the battery cover?). They may have put a replacement cover on it since it was a demo model, but I thought that was weird.
The other thing is I opened it up, and it has JRC4558 chips in it!. Not the ones printed with NJM4558, but really JRC4558. I'm thinking they are producing these chips with JRC4558 on them again, I can't believe they are using vintage JRC4558 chips in this pedal and also the new Anniversary TS-9 (which also has JRC4558 in it). The two are supposedly the same anyway, despite the hype about the older JRC4558 chips, but I thought it was interesting.