Has anyone found an automatic vacuum for the Michael Phelps pool that works?