Not too sure what the regs. say about Tippex, but my logbook went down to Gatwick a couple of months back for CPL/IR issue and by my reckoning, it has more Tippex than ink in it. Granted though, I've always used those ribbon-type things as opposed to the liquid stuff. I didn't have any issue at all.