Update: it's looking like we might be restricted to 10' of pool width (so 50' x 10' in total)--which is fine, only we'd like to include a 6' x 6' hot tub in one corner of the pool, along with, along the length, a tanning ledge of perhaps 6' x 10' (those dimensions are very rough--open to...