Actually, on further reading, video_switch might override it:

video_switch(12,0,1);

Any thoughts?