Quickest way is for Tenant to contact TICA directly by phone, fax or mail. There is a small fee (eg. $19.80 by mail).
If nothing comes up, then no further action.
If something has been registered then details of Agent who listed him will be available and the Tenant can then deal with the...