After researching online, John discovered that there are a few methods to convert a TIB file to an ISO file. He decided to use the following approach: