Where are the Mantis Men in Portal 2

time to read: 1 min