GWX manual and buoys?

[Herr-Berbunch]

Page 144.

Navigation channels in and out of ports are generally marked with red and green buoys, with the red buoys on the port side when entering a harbor (although in some countries it means you are leaving the harbor).

And in specific regard to GWX -

If you see red buoys to port and green buoys to starboard it means you are entering a port; if you see red buoys on starboard side and green on the port side it means you are leaving port.

So not 'red right, return' - more like 'red to red return' (Your red next to the buoys red = return)