Pico (micropython) alternate UART Pins

I have Pico RGB Keypad base.

I would like to be able to use UART for some serial coms. I believe UART0 is by default tied to the REPL in the micropython port. So trying to use UART1. However I notice the base is using I2C on the default pins for UART 1.

Is there a easy was in micropython to select alternate pins for UART1.
Mant thanks and Regards

OK I found this. Thanks
from machine import UART, Pin

uart = UART(1,baudrate=9600, tx=Pin(8), rx=Pin(9), bits=8, parity=None, stop=1)