Koczek to miejscowość należąca dawniej do Rzeszy Niemieckiej. W Rzeszy Niemieckiej miejscowość nazywała się Waldersee.
. Dziś miejscowość nazywa się Koczek i należy do Polska.
| Historyczna nazwa miejscowości | Państwo | Administracja | Czas |
|---|---|---|---|
| Kotzek | Rzesza Niemiecka | Johannisburg | 1914 |
| Waldersee | Rzesza Niemiecka | Johannisburg | 1939 |
| Koczek | Pod zarządem polskim | Pisz | 1945 |
| Koczek | Polska | Suwałki | 1992 |