Those codes are easily available in CCP and TC. Check the PN60F8500 or the PN51F8500. I'll post the HEX later for the sake of others, but the easy fix for you is to ALWAYS check for the same series line in the URC database. F8500 has tons. :-)