I have the below mentioned pool that I'll start setting up this weekend. I've read elsewhere that many above ground pool companies equip their pools with stock pumps that are a bit undersized. Will the pump that came with my pool be sufficient? Or should I consider sizing up? I see 1500 and 2500 gpm pumps. Would something like a 2500 be overkill with setup? Thanks.