I feel bad your buddy got pinched. That will probably ruin the rest of his trip.
Might want to do a few searches on craigslist and see if any pop up locally. If you find a set that match his and the tires are the same, might want to give that information to the police to see if they can bust the thieves.