Couple questions about FreeBSD kernel

Hey guys few questions about FreeBSD kernel, if anyone is familar with it:

To my understand, /boot/kernel, is where the current kernel is ran at boot. However you can also save other kernels in boot, like /boot/kernel.GOOD (a good copy of kernel) or /boot/kernel.OLD (old copy of a kernel). Am I correct?

The FreeBSD kernel source is usually stored in /usr/src correct?

And to build-compile-install a kernel.

You would use the make buildworld -- to build the compiler, and other binaries

make buildkernel = builds kernel kernconf = newkernel

make installkernel kernconf = 'newkernel' - installs and saves in /boot/kernel

Am I correct? I'm trying to learn the BSD system