Какой порт поставить у proxy - вопрос вкуса админа. Хочет 1080, хочет 3128.

1080 по-моему default для какого-то старинного прокси-сервера под Windows.