Abstract: For any well-behaved link homology theory for links in the 3-sphere, Morrison–Walker–Wedrich defined an invariant for smooth 4-manifolds called skein lasagna modules, which can be viewed as an upgrade of the input link homology theory. In the first talk, we review the definition and investigate some formal properties of the invariant. In the second talk, we specialize to the case of Khovanov homology and its Lee deformation, define a lasagna version of Rasmussen's s-invariant, and explain some results from joint work with Mike Willis that detect exotic pairs of smooth 4-manifolds.