Wembley Empire Pool, Restoration