Is there a 12V source for a TST TPMS repeater in the Pebble?

TST makes good equipment; I’ve used them. I switched to this TPMS, however: Hieha Tire Pressure Monitoring System https://www.amazon.com/dp/B0B1QJCC9V

This eliminated the need for a power cable and repeater. It worked great on my 28’ Airstream and will now serve our Pebble.

Nothing obvious. While the Pebble does have a 12V battery, my understanding is that it primarily powers the "brains" of the trailer. And there are no plugs or connections intended to expose it. Both of which seem like reasons not to try to use it to power anything else.

I never actually needed the repeater on my TST in my previous trailer, which was 2 feet longer than the Pebble, so I'm optimistic that I won't need it on the Pebble either. However, I haven't driven any distance since installing the TSTs, so I can't yet say from experience how well it works without the repeater.

If the repeater does end up being needed, a small 120V AC-to-12V DC power supply connected to the power strip in the gear tunnel could work. The unit doesn’t draw much current, so the conversion penalty shouldn’t matter much.