RFMan,
The MakeHex command that you posted is as close to the specified timings as you can get. Of the two it is more correct. Matt's original posted command has a minor error but it probably works fine.
Basically, unless you really know what to look for, you cant tell if a Pronto command is the same by inspection. Most of the Pronto hex commands are just the off and on times, bit by bit, expressed in wavelenghts. So 003F is trivially different than 0040 (63 decimal and 64 decimal respectively).
John fine who wrote MakeHex is one of a the very few experts on IR signals and he is generally correct. As I said before, everything I have tested from MakeHex works flawessly.
Barry Gordon wrote a good description of the Pronto hex format:
[Link: remotecentral.com]-Jon