Looking to build a pool, 16x32 gunite with diamond brite finish. Pool builder wants $1000 for a kreepy krauly prowler 920. We are at the top of our budget for construction. Is the pool cleaner that big of a deal? Would rather put that money towards led bubblers and decking.