I recently bought a few TFX 2000 markers on Ebay which work really well. But in future I will obviously need to service them. Can anyone tell me more about these markers? Websites, what company made them, any tips? Thanks Alex