We use one called OSTicket http://osticket.com its open source so very customisable. I'm in the process of setting it up with our intranet so it knows who they are, but in the mean time, a simple PHP script can be used to send an email from the staff intranet to the help desk.
Works very well!