Thanks for your reply Rog, which you must have posted as I was editing my op! Yes, a Dc-Dc converter would be the answer I guess, other than running the TomTom on its internal battery only (for a limited time!).
BTW, does anyone out there use a motorcycle-type Nav unit on their e-bikes?
Mike