Vagrant for the Restaurant Distribution