Pools too short (Score 3, Interesting)

In the video, the touch pad for timing on the wall of the pool looks at least several cm thick, and I assume there are pads at both ends. Does anyone know if the length of the pool is purposely built larger to accommodate the thickness of the timing pad? On the assumption that it's not, and the pads are 3 cm thick at each end of the pool, that means the length of the pool is really 49.94 m instead 50.0 m. The world record time for the 200 m breaststroke is 127.51 secs, for an average swim speed of 1.57 m/s. If the pool is 0.06 m short, then the total length swam would be 199.76 m -- short 0.06 m * 4 lengths. This could affect the time by 0.15 s at those speeds. Just curious.