Speaking of timers for automotive applications. Has anyone seen a clock type timer that works off of 12 volts or is standalone (battery powered)? It should have some sort of relay output that could be made to switch a 12 volt DC load (~10 amps)? I've seen a couple that could be made to work, both around $90-$100 and both a bit bulky. -- Roger