so i have an old dolphin and old polaris that no longer works, that came with the house we just purchased. the pool is kidney shaped and cement. i am looking for a dolphin as they seem to be one of the best. what is my best option for a sub $1,000 dolphin?