Raspi4 setup

[DBa2016]

I was thinking of running a Raspi4 as the host for Mariner... However, the only OTG-capable port there is the USB-C port which is used to power the board.

Now, the question: has anyone already setup Mariner on raspi4, and if yes, how did you power the raspi? Powering from the printer board (Saturn in my case) will likely either brownout the Rapsi or burn the Saturn board...