diff --git a/VagrantPlayground/virtualbox/Vagrantfile b/VagrantPlayground/virtualbox/Vagrantfile
index 2bcf5d7..548d0a8 100644
--- a/VagrantPlayground/virtualbox/Vagrantfile
+++ b/VagrantPlayground/virtualbox/Vagrantfile
@@ -13,7 +13,7 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
   config.hostmanager.ignore_private_ip = false
 
   config.vm.define machines["bastion_vmname"] do |bastion|
-      bastion.vm.box = "generic/centos8"
+      bastion.vm.box = "generic/centos9s"
       bastion.vm.hostname = machines["bastion_hostname"]
       bastion.vbguest.auto_update = false
       bastion.vm.network "private_network", ip: machines["bastion_ip"]
@@ -33,40 +33,13 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
   end
 
   config.vm.define machines["workstation_vmname"] do |workstation|
-      workstation.vm.box = "generic/centos8"
+      workstation.vm.box = "generic/centos9s"
       workstation.vm.hostname = machines["workstation_hostname"]
+      workstation.vbguest.auto_update = false
       workstation.vm.network "private_network", ip: machines["workstation_ip"]
-      #────────────────────────────────────────────────────────────#
-      # Monkey patch for https://github.com/dotless-de/vagrant-vbguest/issues/367
-      class Foo < VagrantVbguest::Installers::CentOS
-        def has_rel_repo?
-          unless instance_variable_defined?(:@has_rel_repo)
-            rel = release_version
-            @has_rel_repo = communicate.test("yum repolist")
-          end
-          @has_rel_repo
-        end
-
-        def install_kernel_devel(opts=nil, &block)
-          cmd = "yum update kernel -y"
-          communicate.sudo(cmd, opts, &block)
-
-          cmd = "yum install -y kernel-devel"
-          communicate.sudo(cmd, opts, &block)
-
-          cmd = "shutdown -r now"
-          communicate.sudo(cmd, opts, &block)
-
-          begin
-            sleep 5
-          end until @vm.communicate.ready?
-        end
-      end
-      #────────────────────────────────────────────────────────────#
-      workstation.vbguest.installer = Foo
       workstation.vm.provision "shell", path: "./extras/initial-setup.sh"
       workstation.vm.synced_folder '.', '/vagrant', disabled: true
-      workstation.vm.synced_folder "/synced", "/synced", type: "virtualbox", owner: "student", group: "student", mount_options: ["uid=1001", "gid=1001"]
+      workstation.vm.synced_folder "./synced", "/synced", type: "virtualbox", owner: "student", group: "student", mount_options: ["uid=1001", "gid=1001"]
       workstation.vm.provision "shell", path: "./extras/workstation-setup.sh"
       workstation.vm.provider "virtualbox" do |v|
         v.customize [
@@ -80,7 +53,7 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
   end
 
   config.vm.define machines["servera_vmname"] do |servera|
-      servera.vm.box = "generic/centos8"
+      servera.vm.box = "generic/centos9s"
       servera.vm.hostname = machines["servera_hostname"]
       servera.vbguest.auto_update = false
       servera.vm.network "private_network", ip: machines["servera_ip"]
@@ -98,7 +71,7 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
   end
 
   config.vm.define machines["serverb_vmname"] do |serverb|
-      serverb.vm.box = "generic/centos8"
+      serverb.vm.box = "generic/centos9s"
       serverb.vm.hostname = machines["serverb_hostname"]
       serverb.vbguest.auto_update = false
       serverb.vm.network "private_network", ip: machines["serverb_ip"]