Is a gas top-up included in the service?

No. The service covers cleaning and checks. A top-up is only offered after a leak test, because a sealed circuit does not consume gas. The cost of gas and any repair is agreed separately.