Pete, notice that this is a OneForAll forum, so Pronto Hex is not the first choice for how to provide IR information, and Rob had already provided most of what you gave just by saying DVD/0490

Felix, if there are any functions in Pete's list that you want that aren't included in DVD/0490 or in Rob's advanced codes list for DVD/0490
[Link: hifi-remote.com]
then you can use the JP1 group's IrTool program with decodeir.dll to decode the Pronto Hex Pete posted and get the EFC number.