Thanks, Ron! Someone has been running a wget already anyway, which may be totally overkill. I assume searching for posts by user number is actually more precise - are you sure we won't miss anything?