[dashundchen]

Which brand? I know all bike chains come with factory grease but I don't know if I've ever seen it indicated what they are lubricated with.

Of course there are plenty of commercial bike lubes that come with Teflon aka PTFE mixed in.

Completely unnecessary, there's a movement to move towards simple paraffin or natural waxes in the cycling community. In fact, wax wears chain less via less contamination and is vastly more efficient than many of the teflon drip lubes.

https://zerofrictioncycling.com.au/lubetesting/

[kzrdude]

Don't know the brand unfortunately - I was basic and just asked the workshop to do it, because I don't have the tools to adjust the chain. I just thought it was interesting to me that the mechanic explained to me that they come in teflon coating.