RFID Reader and TK4100 tags

Does anybody know if these readers work with 125KHz TK4100 tags? I know they work with 125KHz EM4100 tags, but I’d like to know if the TK4100 would also work. These EM4100 protocol tags are becoming quite hard to get these days and the tag manufacturers say that the TK4100 is compatible/replacement for the EM4100 protocol.