When a guy fingers his, or another guys ass, is there actually a sexual term for it other than 'ass fingering'?

Regards,

Lee