There are third-party disk management tools (like or PowerISO ) that claim to handle various image formats.
Alternatively, John could have used a third-party tool like tib2iso to convert the TIB file to an ISO file. Here's an example of how to use tib2iso :