Detcherry's finiteness conjecture for link exteriors

Let $R=Q(q^{\frac{1}{2}})$, let $L\subset S^3$ be a link with $n$ components, and let $E_L$ denote its exterior. For each component, let $t_i\in\mathcal{S}(E_L)$ be the meridian of the $i$-th component. Then $R[t_1,\ldots,t_n]$ is a subring of $\mathcal{S}(\partial E_L)$. Detcherry's finiteness conjecture. The skein module $\mathcal{S}(E_L)$ is finitely generated as an $R[t_1,\ldots,t_n]$-module. This conjecture was proposed by Detcherry in 2021 and is disproved for the $(3,3,3,3)$-pretzel link exterior, whose skein module is not finitely generated over $\mathbb{Q}(q^{\frac{1}{2}})[t_1,t_2]$.