Yeah, at roughly 40 lbs. I'd venture somewhere between 1600 and 1800 chips. Older Paulsons - especially hot-stamped chips - were indeed heavier, sometimes approaching 12g each.
But if it's going to take both a LFRB and MFRB to ship these (and those are horrible shipping pics in the eBay listing, btw), then 2500 chips might not be out of the question (assuming his 40lb bathroom scale estimate is way off). Packed loose, you can easily get close to 1000 chips in a MFRB, not that you ~should~ do it that way.
If I were in the Sacramento area (for local pickup), I'd be all over these. I think most will clean up pretty nicely, and I know a couple of guys named Mitch (one's even a chipper).