We decided to get a gunite pool. I'm trying to make sure I'm not missing anything I'll wish I would've done later. Our dig date is January 20th. We are going with an 18x36 rectangle sports pool, a 7x7 square spa, and a sun deck big enough for 3 of those in water lounge chairs. The 18x36 is the main pool and the spa and sun deck protrude out from it so they won't interfere with main pool. Depths will be 3.5'x5'x3.5'. We have steps entering pool on each side and seats built into the sides of the pool in several places. I'm debating between the Marquis Magic(upgrade over standard white) plaster and the little more expensive but rougher pebble plaster. We are doing silver travertine coping. The builder is including a Dolphin DX3 cleaner. It'll be fully automated through an app. We have 3 LED lights in pool, 1 in spa, and 2 LED bubblers on sun deck. In our quote is 800 sq feet of concrete decking around pool. We are going with traditional chlorine. We'll be getting a 400k BTU heater. Are there any must haves I'm missing or any advice on anything?