Here’s the control
station for the
Pedro Miguel
lock.