Simpler than that would be to just run 120VAC to the thermostat.

But no need -- there's already 24VAC there, and as discussed above I've got a couple of 5VDC adapters that work just fine off the 24VAC. But they give me 5VDC, not the 3.3VDC I now think I'll need.

Cheers