If he is in the service he can do it at the Tyndall AFB auto hobby shop for around $10, basically the cost of renting the stall. I believe the Navy yard across the bay has the same capabiltiy at there auto hobby shop as well. If he does not have access to the base, pm me and I can assist him.