I've actually been there. The long weird pool above that building is very pleasing! Thanks @john-gpr!
This post sure brings back memories