I don't think its necessary, cleaning it well and applying neosporine should be all you need to do for it. I've been bit by a big male before too, healed right up in a couple days.
I guess i have been lucky not getting bit, weres there a reason you got bit, was there food involved, was it in the am/pm was he just awoken, let us know, so we can prepare our selves
thanks