Nathan, no gravel. Just 14 years of pocket lint.
Petey, I carved out the inside to make room for the rubber switch bit and the circuit board. Drilled tiny holes where the buttons needed to poke through, and enlarged them with diamond needle files. Then put a back on, and drilled a hole in it where the battery would fit. Then put a 20mm indent (using a forstner bit) in the (turned) cap for the battery hole to hold the battery where it belonged. Then glued the front and back together, inserted the battery and made sure it all worked, then tack-glued the battery cap into the back. Done.
Thanks, folks! If I were to sell them, I’d probably have to charge close to a thousand bucks per, but as a project to fiddle with while I was waiting for glue or finish to dry on other things (rather than sweeping up the shop), it was a fun diversion.