I think tipping is personal understanding.
It is not mandatory, neither should it be forbidden.
If one feels the need to appreciate someone for his/her work done,then the person should go ahead and do it without finding reasons.
Though, I totally understand what your professor was trying to explain.