https://en.wikipedia.org/wiki/Air_India_Flight_182#Explosives_and_clocks
I read somewhere that the Air India clock was a Micronta like the Texas kid's.
It was. But it was a different type than Ahmed's.
And aren't most lantern batteries 6V?
They are. But 12-volt lantern batteries are easy enough to come by.
$10.84 at Zoro.com (cheaper than Amazon). 5.25" high by 4.875" wide by 2.875" deep a bit bulky for Ahmed's Walmart pencil case, I'd say.
Okay, good info — thanks.