We should be able to figure the files you need, if you can post the Broadcast Code (BCC) of your chip. The BCC is a 4 letter code, usually starts with "B", for example "BJLA". You posted you have a 4L80E, that leaves $OE or $31 as the only options.

dave w