I could have probably fixed it myself, and would have extracted much pleasure from working on a machine.Nearly any gasket can be replaced at least on an emergency basis with a piece of cardboard and a pair of scissors.
It speaks of the company that the service person didn't get enough information to have a frick'n gasket with them when they arrived. Not unusual, how many times have we wanted to strangle someone on the phone that won't listen to information we are willing to share, that will make the whole process go smoother?
My 50 year old BMW; brrm brrm after a long winter nap, the near new electric bicycle has to go 50 miles to a dealer for a service dongle connection to go back to being useful, grr
But, I was concerned that me putting hands on it might void the warranty. That and I've always been brought up to fix my own fuck-ups and be a responsible human being.
So, they fucked it up, they can fix it.
Service tech replaced the gasket this morning, this is what he replaced. Probably going to take some measurements and order a pack of them from McMaster.