Yep. Ordered the gasket yesterday from the local greenhouse. About 5 bucks.
Not knowing what to expect for residual oil, I stuck a pan under belly and recovered about a pint and a half.(machine hadn't been run for a few days)
Like I said before, this detail was absent, at least in the shop...