Trimming the top of a pool in a Miami Beach Hotel.