Makita DMR115 repair - no power

A colleague of mine asked me to take a look at his Makita work site radio. Completely dead. Not a single sign of life, not with any type of battery, and not with DC power input. Makita has put the screws in the battery compartment in a very deep hole. And it requires a security Torx TX15 (Wera has a good one Model 05138269001 with a 300mm shaft). Once that is removed, you have to use a big hex bit…