I believe I've read before that you can directly enter an EFC, but I can't remember where. Does anyone know how to do it?

To rephrase the question (in the form of the expected answer).

Q: What steps do I need to follow to send an EFC from the remote?

A: 1) Hold down the magic button till the LED blinks twice
2) enter 9 7 1
3) enter the 4 digit device code
4) enter the 3 digit EFC

(the remote should have sent the command once the above steps are completed)

Thank you,
John Flegert