How much oil leaked out of the bad seal? Run dry and get hot?

May not be the techs fault.

“Life is life and fun is fun, but it's all so quiet when the goldfish die.”