We're trying to decide between the Polaris 280 or Kreepy Krauly Legend for our 18x30 gunite pool - any suggestions would be greatly appreciated.