if EI did return to Belfast, it would probably be from Belfast City (where they operated previously),
I have worked in ATC since 1978 and for a local Belfast travel agency before that and I have NEVER heard of Shamrock operating out of anywhere other than BFS.