It's a little big for him, but if the snake ate it then it will be fine as long as your friend is keeping it right with a regulated UTH. I feed mine something slightly larger than their widest point and they're all happy
The snake looks a little underweight judging by the spine showing after the mouse lump. If he doesn't regurge, great! if so, smaller.