His Sony is set to AV2 codeset, which I just found out this week, that there is a preset code for AV2, it's 1758. Of course that code doesn't accept advanced codes,and 0158's advanced codes are for receivers set to AV1. He might be able to at least switch his receiver to AV1, he might lose the use of his OEM remote? See if your receiver is listed
here. Switch your receiver to AV1, use code 1058 in the 6131. You'll find that it's missing the DVD command. Comeback then, we'll get it for you.