yup, the hole for the rivet is bigger than the rivet it self...
i think its the same size with PC case 2-3mm would work..
use the small 2mm first if you are not sure..
after the rivet cap that hold your badge is removed, the rest of the rivet will fell appart automatically...