real analysis - Making a dense set of full measure from Cantor like sets

The Smith-Volterra-Cantor set SVC or the so-called "Fat Cantor set" is a nowhere dense set with a positive Lebesgue measure.

The following is a question from A radical approach to Lebesgue’s theory of integration by Bressoud $Q\, 4.4.6$ pg $118$.

Define $K_1$ to be the fat Cantor set and $K_2$ to be the subset of $[0,1]$ formed by putting a copy of $K_1$ inside every open interval in $[0,1] \setminus K_1$. Similarly define $K_3$ to be the subset of $[0,1]$ formed by putting a copy of $K_1$ inside every open interval in $[0,1] \setminus (K_1 \cup K_2)$. In general define $K_n$ to be the subset of $[0,1]$ formed by putting a copy of $K_1$ inside every open interval in $[0,1] \setminus (K_1\cup K_2\cup \ldots \cup K_{n-1})$. Define $$K=\bigcup_{n=1}^{\infty} K_n \, .$$ Show that $K$ is of full measure.

Q1. What does it mean to put a copy of $K_1$ inside every open interval in $[0,1] \setminus K_1$?

My understanding:- The open interval $(\frac{3}{8}, \frac{5}{8}) \in [0,1] \setminus K_1$. I guess to put a copy of $K_1$ inside it is to repeat the process by which we got the fat Cantor set from $[0,1]$ on $(\frac{3}{8}, \frac{5}{8})$ with shorter intervals being removed now. Am I correct?

Q2. How to show that $K$ is of full measure?

Thanks!