Finalmente, e com a ajuda de vários posts deste forum, descobri uma forma óptima e rápida de fazer isto.
Vai-se à IB e faz-se uma notificação de transferência para lá, em euros, indicando o montante e banco de origem.
Eles enviam os dados para a transferência, que incluem um IBAN de uma sucursal alemã do Citgroup em Frankfurt.
Faz-se a transferência dos euros para lá.
Passados 2 dias, os euros aparecem lá na conta, separados dos dólares. Na conta cash diz X dólares e Y euros.
Depois vai-se à account window e escolhe-se a opção de converter todo cash não-USD em USD (que é a moeda base da conta). Ele faz instantaneamente.