My users cannot select a ticket priority, but my staff can via the "Manage priorities in tickets by others " permission. However, they can apparently only set the priority using the inline moderation in the ticket queue. There's no selection for that in the "Handle ticket" box, nor when editing a ticket, nor through the "..." menu.