It says Typhoo on buses, but they don’t sell tea !.
Another visit to the dealer if they miss it, is not a very good idea.
Ask them to make an entry request on the job sheet for the service, or leave a nice note in the car for the tech, is what I did 👍.