Does Tony Allen deserve a $5000 fine?