Thrawn in HTTE says mole miner is slang; what's the technical name?

I'm not sure if mole miners appeared in Jedi Apprentice: The Day of Reckoning are plasma jets and produced by Slayn & Korpil, but I add that book here anyway. -- Jedi Marty 03:34, 15 January 2008 (UTC)