Agree, we probably have different definitions of pumpers and bashers as well but it's just slang in pennyland. It's all good.