OTOH, I just today found a spare OTG USB cable in hand, and tried plugging in a mouse. Which worked very well--hats off to the UT folks.