I have an opportunity to purchase a Tiger Shark pool cleaner for $50! On the box is says for in-ground pools. Our pool is a 16x32 AGP. Can someone explain to me what the difference is between an IGP and AGP pool cleaners? I don’t want this deal to pass me by…however, I don’t want something that will eat our pool! Thanks