Yes. Somewhere. But doesn't know where. And she's leaving the country for two weeks starting tomorrow morning.
However...
this fills the bill admirably, and comes with a 30 day full function free trial. The price is just $89, which I find to be reasonable. I'll use it until she returns and finds the software that is supposed to go with the scanner, and if it turns out that the Adobe and ScandAll software is ugly, I'll go ahead and buy the Infothek software.
This software automatically skips blank pages, and is adjustable for brightness, threshold, and contrast so I have been playing with it, fine-tuning it to get the optimal compromise for legibility and image quality as about 20% of the pages are on a grey-shaded background.
The scanner itself is amazing. It has a 50-sheet document feeder, and when running duplex it scans both sides of the page simultaneously, or more likely nearly so as the two scan heads are probably offset to avoid interfering with each other due to shining through the paper. It will scan a 14 page stack full duplex, 10 pages one-sided, four pages double-sided for 18 page output in 47 seconds. If all 18 pages were double-sided it would take the same amount of time, but output would be 36 pages. That's pretty near 50 pages per minute at 300 dpi.
The first software I tried (the freeware that Robotic pointed me to) turned out to be less than satisfactory, it didn't let me access the TWAIN settings, it locked up if I tried to duplex, didn't give enough control over output quality. So, worst case is I spend $89 and buy this software; best case I get the Adobe and ScandAll from Ms. employer.
First estimate is somewhere around 15,000 pages to scan. If I had a 15,000 page document feeder and wanted to end up with a single 15,000 page PDF file

it would only take me 5.2 hours. Since I have to create and name about 600-800 separate files, it may take a bit longer.
Oh, and the 15,000 pages are just the ones she had at home before she goes on vacation. The bulk of them are still at her office. Good news is... I'm being paid by the hour.

tanstaafl.