One suggestion I would make; if it is deep enough for water to pool
even when the pump is off then put a bottom drain in it for cleaning.
It is a simple thing to do during construction that will make you life
easier later.