Kind of hard to tell if the following is useful, but.....
For the EFCs prepend zeros to make up 5 digits. These were pulled from the Files and/or the Features sections here, mostly. Also see this thread, especially the part about how OBC 58/ EFC 227 works.  If ll else fails, you can try the brute force approach of trying every EFC from 0 to 255.  Usually, if a function works with one device number, it probably has the same functionality in other device numbers, if it is implemented. 

Regarding Timer Record:  Many VCRs go into timer record mode when it is shut off.  You may want to try discrete Off with the VCR Setup code.  Also, I'd try the various Input EFCs, including 144 (Antenna).  You'll probably want to try these with both VCR and TV  setup codes.

Device	OBC	EFC	Key
5	24	210	Setup
5	58	227	DVD
5	80	144	Ant
5	118	129	Play Mode
14	5	234	TV/VCR
14	6	2	Reset or Clear
14	8	82	Menu
14	16	146	`Step_Forward
14	18	162	Memory
14	21	106	`Play
14	23	122	Rec / OTR
14	25	202	`Pause
14	28	178	`Scan_Forward
14	29	170	`Scan_Back
14	31	186	`Stop
14	36	243	Add/Delete
14	42	99	`Power_Toggle Toggle
14	44	51	Channel `Down_Arrow
14	45	43	Channel `Up_Arrow
14	60	179	Info or Display
14	64	16	Eject
14	65	8	Audio Select
14	70	0	Speed SP/EP
14	71	248	Input Select
14	86	128	Set -
14	87	120	Set +
14	108	49	Clock/Counter
14	109	41	Timer
14	208	140	Time Srch
14	209	132	100
14	244	109	Enter
15	163	23	Input