What are the specific minimum tools needed to do a quick and dirty road-side belt swap? I just need to provide some info to someone about to make a long trip and I have a feeling the belt could be marginal (don't ask). I seem to recall that space is tight, so some specific tools might be in order.

Also, what's the length and/or part# of the belt. I'll let him to throw that in the car at least!

Thanks!