Tynemouth outdoor swimming pool. Built in 1925 was converted into a rock pool

Tynemouth out door swimming pool built in 1925 now converted in 1996 into rock pool. This video shows the process of converting..
However it was a total failure,

[@brianmorrison9168]

I wonder what this totally pointless project cost ??