Thanks for your prompt reply. I guess I overlooked IUIDatabase::GetRecords.
The next step is passing the record number back into IDatabase::GetRecordID, from which I get an IString of the record ID. But IUIDatabase:: Display requires an IRecordList, and I can’t tell how to get an object of that type from the record ID. Of course I can’t instantiate the interface, and I’ve been going through the API docs again looking for the function to use, to no avail.