True.
.PBP is also the format that psx games need to be in in order to play them on a PSP. If you really want to you can convert them back to ISOs using a program like "PSP ISO Compressor". I've never personally encountered the red line and circle thing before.