If you are happy with the service you receive, then feel free to tip. It's always much appreciated! However, clearing the change in your pocket (27 pence, or whatever) into the hand of the FBO employee before you leave the country isn't necessarily required...