prod (8010) and dev (8020) ports are different.