Best way to install vmware workstation

here Best way to install vmware workstation - #12 by linux-aarhus
you told me to run sudo pacman -Syu linux511-headers without the dkms
should i do it now?
looking in pamac,i see i have dkms 2.8.4-1 installed;is it the same?