I modified the batch_exporter.php file and changed line 9
From: protected $limit = 50;
To: protected $limit = 1000;
The results were all user records but most of them were duplicated 2 or three times. For 9,000 users the export file had 27,000 rows. I used AI to remove all the duplicate rows and ended up with the correct number of user rows.