Patio doors open onto pool

(All the doors to the pool feature a safety alarm that sounds if doors are opened without

pressing the override button at the top of the door, to prevent children from reaching the pool unnoticed).