4 ms·

I use both. I believe "dump" was more common but, for some reason, has been superseded by "tip". Or it may be regional.