As CarlD said $5000 even for a top of the line pool with some accessories is getting pretty high. Is this including decking?

Josh