Hello everyone. About to break ground on an in-ground pool (gunite, 18x35, max depth of 7', SWG). Builder is pushing hard for no main drain. Mainly due to the higher risk of leaks/cost to repari. He doesnt recommend but also wont charge me extra to install one either. So the question is do I have a main drain installed at no additional cost? Do the benefits out weigh the risks? Will it help with circulation in the deep end (7')?