Pounding??
Mike are you suggesting they pulled the shaft with a slide hammer?
Even I know that hammering to pull out or push in a shaft on a boat can/will rip or damage the transmission. Have a "talk" with them before they go any farther!
jus sayin..