Ben Choi moved from the home with the pool 4 or 5 years ago; I don't think he's done much with it since then.