An indoor pool for lap-swimmers and doggy-paddlers alike.