The Lanes' vat has had to be fitted with a new stainless steel liner.
In total, more than 4,000 tons of steel were used for the steel liner.
It lasts longer than steel liners, but can't be bored out.
A steel liner would also be added, in accordance with county regulations that the laboratory had failed to comply with.
The bin's regular steel liner hides the radio control system and plastic trash bag should a guest peer inside.
The problem was solved by pumping concrete under high pressure behind steel liners.
Armalite barrels had a steel liner in an aluminum shell.
The pool would be patched, upgraded and contained in a new steel liner, which officials now agree should have been added long ago.
As the hole was drilled, steel liners were installed.
In recent ultrasound tests, parts of the steel liner measured thinner than it did 10 years ago.