Thanks for the replies. The UART TX pin cannot be used fro GPIO in this case.

Andy