FileMaker 9 & PHP API - Total record count?

Question

The only way I can see to get a total record count necessary for setting up some sort of pagination mechanism would be something like:

$fileMakerObj = new FileMaker( /* credentials redacted */ );  
$fc = $FileMakerObj->newFindCommand('someLayout');  

//Get max Record count for someLayout 
$fc->setRange(0,0);  
$result1 = $fc->execute();  
$maxRecords = $result1->getTableTotalCount();  
$fc->clearRange();  

//Window 0-100 of $maxRecords  
$fc->setRange(0,100);  
$page1 = $fc->execute();  
//Repeat as necessary  

Is there something I am missing, or is this the only solution?

Answer 1

Looks like my solution is possibly the only way to get a total record count.